• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2009

Developing Social Software: Experiences and Challenges

Dolog, P., 2009, I : CEUR Workshop Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

5 Citationer (Scopus)

Discounting in Time

Fahrenberg, U. & Larsen, K. G., nov. 2009, I : Electronic Notes in Theoretical Computer Science. 253, 3, s. 25-31 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

13 Citationer (Scopus)

Discount-Optimal Infinite Runs in Priced Timed Automata

Fahrenberg, U. & Larsen, K. G., 2009, I : Electronic Notes in Theoretical Computer Science. 239, s. 179-191

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Discount
Discounting
Semantics
Optimal Scheduling
5 Citationer (Scopus)

Discovering Sentinel Rules for Business Intelligence

Middelfart, M. & Pedersen, T. B., 2009, I : Lecture Notes in Computer Science. 5690, s. 592-602 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Business Intelligence
Competitive intelligence
Navigation
Industry
Measure Data
2 Citationer (Scopus)

Distributed Cognition in Ship Navigation and Prevention of Collision: Proceedings of European Conference on Cognitive Ergonomics 2009  (ECCE 2009)

Koester, T., Hyll, N. & Stage, J., 2009, I : VTT Publications. 258, s. 202-210

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Ergonomics
Ships
Navigation
Availability
Cognitive systems
55 Citationer (Scopus)

Effectively Indexing Uncertain Moving Objects for Predictive Queries

Zhang, M., Chen, S., Jensen, C. S., Ooi, B. C. & Zhang, Z., 2009, I : International Conference on Very Large Data Bases. Proceedings. 1, s. 1198-1209

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Location based services
Query processing
Experiments

Efficient adaptive retrieval and mining in large multimedia databases

Assent, I., 2009, I : Lecture Notes in Informatics. 144

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

17 Citationer (Scopus)

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

David, A., Larsen, K. G., Chatain, T. & Bulychev, P., 2009, I : Lecture Notes in Computer Science. 5813, s. 73-87

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Game
Preorder
Controllability
Automata
Simulation
382 Citationer (Scopus)

Efficient Retrieval of the Top-k Most Relevant Spatial Web Objects

Cong, G., Jensen, C. S. & Wu, D., 2009, I : International Conference on Very Large Data Bases. Proceedings. 2, 1, s. 337-348

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Information retrieval
Scalability
Fusion reactions
Internet

Emotion-based Music Rretrieval on a Well-reduced Audio Feature Space

Ruxanda, M. M., Chua, B. Y., Nanopoulos, A. & Jensen, C. S., 2009, I : Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing. s. 181-184

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Computer music
Real time systems

Epidemic Synchronization in Robotic Swarms

Schiøler, H., Nielsen, J. F. D. & Ngo, T. D., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. 2009, s. 43-49

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

29 Citationer (Scopus)

Error estimation for indoor 802.11 location fingerprinting

Lemelson, H., Kjærgaard, M. B., King, T. & Hansen, R., 4 maj 2009, I : Lecture Notes in Computer Science. 5561, s. 138-155

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

168 Citationer (Scopus)

Evaluating Clustering in Subspace Projections of High Dimensional Data

Müller, E., Günnemann, S., Assent, I. & Seidl, T., 2009, I : VLDB Journal. 1, s. 1270-1281

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Clustering algorithms
Websites
5 Citationer (Scopus)
221 Downloads (Pure)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2009, I : Electronical Notes in Theoretical Computer Science. 242, 1, s. 19-33

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil

Extending Mobile Service Context with User Routes in the Streamspin Platform: Bulletin of the Tomsk Polytechnic University

Shestakov, N. & Jensen, C. S., 2009, I : Tomsk Polytechninc University. 5, s. 170-175 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

203 Citationer (Scopus)
2797 Downloads (Pure)

Fault tolerant control of wind turbines: a benchmark model

Odgaard, P. F., Stoustrup, J. & Kinnaert, M., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
1 Citation (Scopus)

Feature-based engineering of compensations in web service environment

Schaefer, M. & Dolog, P., 2009, I : Lecture Notes in Computer Science. 5648, s. 197-204

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Web services
Web Services
Engineering
Feature Modeling
Feature Model
1 Citation (Scopus)

From Paper to PDA: Design and Evaluation of a Clinical Ward Instruction on a Mobile Device

Kanstrup, A. M. & Stage, J., 2009, I : Lecture Notes in Computer Science. 5727, s. 670-683

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Personal digital assistants
Mobile devices
Mobile Devices
Evaluation
Mobile Systems
11 Citationer (Scopus)

Head Pose Estimation from Passive Stereo Images

Breitenstein, M. D., Jensen, J., Høilund, C., Moeslund, T. B. & Gool, L. V., 2009, I : Lecture Notes in Computer Science. 5575, s. 219-228 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Pose Estimation
Range Image
Error function
Accessories
Signature

High-dimensional Indexing for Multimedia Features

Assent, I., Günnemann, S., Kremer, H. & Seidl, T., 2009, I : Lecture Notes in Informatics. s. 187-206

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

313 Downloads (Pure)

How Intelligent Speed Adaptation affects company drivers' attitudes to issues related to traffic

Agerholm, N., Tradisauskas, N. & Lahrmann, H., 2009, I : ITS World Congress. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
7 Citationer (Scopus)

HSM: Heterogeneous Subspace Mining in High Dimensional Data

Müller, E., Assent, I. & Seidl, T., 2009, I : Lecture Notes in Computer Science. 5566, s. 497-516

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

High-dimensional Data
Data mining
Mining
Attribute
Subspace
2 Citationer (Scopus)

Identifying the Most Endangered Objects from Spatial Datasets

Lu, H. & Yiu, M. L., 2009, I : Lecture Notes in Computer Science. 5566, s. 608-626

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Improving Safety Through the Design of a New Function: Design Process Findings and Post-Release Analyses - 

Koester, T., Hyll, N. & Stage, J., 2009, I : VTT Publications. s. 267-275 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

53 Citationer (Scopus)

Indexing the Trajectories of Moving Objects in Symbolic Indoor Space

Jensen, C. S., Lu, H. & Yang, B., 2009, I : Lecture Notes in Computer Science. 5644, s. 208-227

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Moving Objects
Indexing
Trajectories
Trajectory
Positioning
3 Citationer (Scopus)

Interplay between usability evaluation and software development (I-USED 2009)

Abrahão, S., Hornbæk, K. A. S., Law, E. & Stage, J., 2009, I : Lecture Notes in Computer Science. PART 2, s. 969-970 2 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Usability Evaluation
Software Engineering
Empirical Study
Software Development
Software engineering

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Kühnrich, M., Schwoon, S., Srba, J. & Kiefer, S., 2009, I : Lecture Notes in Computer Science. 5504, s. 440-455 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

24 Citationer (Scopus)

Location Privacy Techniques in Client-Server Architectures

Jensen, C. S., Lu, H. & Yiu, M. L., 2009, I : Lecture Notes in Computer Science. 5599, s. 31-58 28 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Location Privacy
Client/server
Servers
Location based services
Server
13 Citationer (Scopus)
296 Downloads (Pure)

Maximum Likelihood Learning of Conditional MTE Distributions

Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2009, I : Lecture Notes in Computer Science. 5590, s. 240-251

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Truncated Distributions
Exponential distribution
Maximum likelihood
Maximum Likelihood
Conditional Density

Model-based analysis of embedded java programs

Bøgholm, T., Ravn, A. P. & Thomsen, B., 2009, I : RWTH Aachen, Dept. of Computer Science. 14, s. 17-19

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Model-Based GUI Testing Using Uppaal at Novo Nordisk

H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, I : Lecture Notes in Computer Science. 5850, s. 814-818

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Graphical user interfaces
Model-based
Testing
Coverage
Test Generation
1 Citation (Scopus)

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Kühnrich, M. & Nestmann, U., 2009, I : Lecture Notes in Computer Science. 5522, s. 198-212

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Parametrised Constants and Replication for Spatial Mobility

Hüttel, H. & Haagensen, B., 2009, I : Lecture Notes in Computer Science. 5521, s. 123-142

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Replication
Calculus
Encoding
Process Calculi
Recursion
1 Citation (Scopus)

Performance Monitoring in Supermarket Refrigeration Systems - Synchronisation of Refrigerated Display Cases

Chen, L., Green, T., Sloth Larsen, L. F., Izadi-Zamanabadi, R. & Wisniewski, R., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. 42, 11, s. 333-338 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
Hybrid systems
Synchronization
Display devices
Monitoring
7 Citationer (Scopus)

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2009, I : I F A C Workshop Series. 3, 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)
709 Downloads (Pure)

Pose Estimation and Adaptive Robot Behaviour for Human-Robot Interaction

Svenstrup, M., Hansen, S. T., Andersen, H. J. & Bak, T., 2009, I : I E E E International Conference on Robotics and Automation. Proceedings. 2009, s. 3571 - 3576

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Intelligent robots
Human robot interaction
Robots
Lasers
Information use
1 Citation (Scopus)

Pretty Easy Pervasive Positioning

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, I : Lecture Notes in Computer Science. 5644, s. 417-421

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wi-Fi
Positioning
Global positioning system
Coverage
Infrastructure

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, I : Dagstuhl Seminar Proceedings. s. 417-425 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Automata Theory
Timed Automata
Resource Allocation
Open Problems
Modeling
Synchronization
Innovation
8 Citationer (Scopus)

Robust Adaptable Video Copy Detection

Assent, I. & Kremer, H., 2009, I : Lecture Notes in Computer Science. 5644, s. 380-385

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Query processing
Query Processing
Indexing
Filtering
Model
36 Citationer (Scopus)

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 776-781 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Uncertainty
Actuators
Trajectories
13 Citationer (Scopus)
487 Downloads (Pure)

Shadow Detection in Dynamic Scenes Using Dense Stereo Information and an Outdoor Illumination Model

Madsen, C. B., Moeslund, T. B., Pal, A. & Balasubramanian, S., 2009, I : Lecture Notes in Computer Science. 5742, s. 110-125 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)

Simplified Optimal Control in HVAC systems

Komareji, M., Stoustrup, J., Rasmussen, H., Bidstrup, N., Svendsen, P. & Nielsen, F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 1033 - 1038

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Spanning Tree Based Attribute Clustering

Zeng, Y. & Jorge, C. H., 2009, I : Lecture Notes in Computer Science. 5476, s. 681-688

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Spanning tree
Attribute
Clustering
Clustering algorithms
Stars
14 Citationer (Scopus)

Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence

Zeng, Y. & Prashant, D., 2009, I : IJCAI Proceedings - International Joint Conference on Artificial Intelligence. 21, s. 1996-2001

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Decision making
12 Citationer (Scopus)

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5799, s. 84-89 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Petri nets
Petri Nets
Arc of a curve
Simulator
Simulators

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5846, s. 158-175 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Concurrency
Teaching
Students
Acoustic waves
Philosophy
10 Citationer (Scopus)

The design of spherical multilobe-cam mechanisms

Bai, S. & Angeles, J., 2009, I : Proceedings of the Institution of mechanical engineers. Part C, journal of mechanical engineering science. 2, s. 473-482

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

42 Citationer (Scopus)

The Role of Social Networking Services in eParticipation

Sæbø, Ø., Rose, J. & Nyvang, T., 2009, I : Lecture Notes in Computer Science. s. 46-55

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

E-participation
Social Networking
Circuit theory
Internet
Social Networks