• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
2015
2 Citationer (Scopus)

Analyzing Electric Vehicle Energy Consumption using Very Large Data Sets

Krogh, B. B., Andersen, O. & Torp, K., 2015, Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II. Renz, M., Shahabi, C., Zhou, X. & Cheema, M. A. (red.). Springer, s. 471-487 (Lecture Notes in Computer Science; Nr. 9050).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

14 Citationer (Scopus)

Analyzing industrial architectural models by simulation and model-checking

Marinescu, R., Kaijser, H., Mikučionis, M., Seceleanu, C., Lönn, H. & David, A., 2015, Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Artho, C. & Ölevczky, P. C. (red.). Springer, s. 189-205 17 s. (Communications in Computer and Information Science, Bind 476).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Software architecture
Brakes
Scalability
Semantics
8 Citationer (Scopus)

An Empirical Study of the Effects of Three Think-Aloud Protocols on Identification of Usability Problems

Bruun, A. & Stage, J., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Springer, s. 159-176 (Lecture Notes in Computer Science; Nr. 9297).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

33 Citationer (Scopus)

Answering why-not questions on spatial keyword top-k queries

Chen, L., Lin, X., Hu, H., Jensen, C. S. & Xu, J., apr. 2015, 31st IEEE International Conference on Data Engineering. IEEE, s. 279-290

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 aug. 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

10 Citationer (Scopus)

Attack Tree Generation by Policy Invalidation

Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (red.). Springer, s. 249-259 (Lecture Notes in Computer Science; Nr. 9311).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, s. 1-15 (Electronic Proceedings in Theoretical Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

A wait-free output data structure for GPU-based streaming query processing

Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S., jun. 2015, Proceedings of the 23rd Italian Symposium on Advanced Database Systems. Lembo, D., Torlone, R. & Marrella, A. (red.). Curran Associates, Inc, Bind 365 (1 VOL). s. 232-239 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Broadcast and Aggregation in BBC

Hüttel, H. & Kiilerich Pratas, N., 2015, Eighth International Workshop on Programming Language Approaches to Communication- and Concurrency-cEntric Systems. Gay, S. & Alglave, J. (red.). Electronic Proceedings in Theoretical Computer Science, s. 51-61

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Communication
Calculi
Recipient
Syntax
Connectivity

CO2NNIE: Personalized Fuel Consumption and CO2 Emissions

Krogh, B. B., Andersen, O., Lewis-Kelham, E. & Torp, K., 2015, 23rd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 92

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fuel consumption
Railroad cars
Fuel pumps
Travel time
Global positioning system
13 Citationer (Scopus)

Compositional metric reasoning with probabilistic process calculi

Gebler, D., Larsen, K. G. & Tini, S., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, s. 230-245 16 s. (Lecture Notes in Computer Science, Bind 9034).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Process Calculi
Process Algebra
Reasoning
Metric
Operator
9 Citationer (Scopus)
409 Downloads (Pure)

Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home

Paay, J., Kjeldskov, J. & Skov, M. B., 2015, Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, s. 276-287

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
316 Downloads (Pure)

Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, s. 159-169 17. (Linköping Electronic Conference Proceedings; Nr. 118).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Hybrid systems
Model checking
Engines
Heating
Composite materials
13 Citationer (Scopus)

CAAL: Concurrency Workbench, Aalborg Edition

Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Netherlands: Springer, s. 573-582 10 s. (Lecture Notes in Computer Science; Nr. 9399).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

modeling
simulation
analysis
2 Citationer (Scopus)

Decidability and Expressiveness of Recursive Weighted Logic

Xue, B., Larsen, K. G. & Mardare, R. I., 2015, Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 216-231 (Lecture Notes in Computer Science; Nr. 8974).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Expressiveness
Decidability
Transition Systems
Logic
Multi-modal Logic
1 Citation (Scopus)

DEFENDER: A decomposer for queries against federations of endpoints

Montoya, G., Vidal, M. E. & Acosta, M., 1 jan. 2015, The Semantic Web: ESWC 2012 Satellite Events - Revised Selected Papers. Passant, A., Norton, B., Valle, E. D., Troncy, R., Fundulaki, I., Simperl, E. & Mladenic, D. (red.). Springer, s. 480-484 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7540).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Engines
Decomposition
4 Citationer (Scopus)
261 Downloads (Pure)

Dynamic Bayesian modeling for risk prediction in credit operations

Borchani, H., Martinez, A. M., Masegosa, A., Langseth, H., Nielsen, T. D., Salmerón, A., Fernández, A., Madsen, A. L. & Sáez, R., 2015, The 13th Scandinavian Conference on Artificial Intelligence (SCAI'2015). IOS Press, s. 17-26 (Frontiers in Artificial Intelligence and Applications, Bind 278).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Feature extraction
Labels
Classifiers

E2C2: Efficient and Effective Camera Calibration in Indoor Environments

Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, s. 9-12

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Early Recognition of Maneuvers in Highway Traffic

Weidl, G., Madsen, A. L., Tereshchenko, V., Dietmar, K. & Breuel, G., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (red.). Springer, s. 529-540 (Lecture Notes in Computer Science; Nr. 9161).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

12 Citationer (Scopus)
208 Downloads (Pure)

Eco-Forecasting for Domestic Electricity Use

Kjeldskov, J., Skov, M. B., Paay, J., Lund, D., Madsen, T. & Nielsen, M., 18 apr. 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI '15. Association for Computing Machinery, s. 1985-1988

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
25 Citationer (Scopus)

Efficient metric indexing for similarity search

Chen, L., Gao, Y., Li, X., Jensen, C. S. & Chen, G., apr. 2015, 31st IEEE International Conference on Data Engineering (ICDE), 2015. IEEE, s. 591-602

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)

Enhanced Information Access to Social Streams Through Word Clouds with Entity Grouping

Leginus, M., Derczynski, L. & Dolog, P., 2015, Proceedings of the 11th International Conference on Web Information Systems and Technologies (WEBIST-2015). Monfort, V., Krempels, K-H., Majchrzak, T. A. & Turk, Z. (red.). SCITEPRESS Digital Library, s. 183-193 11 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

12 Citationer (Scopus)

Evaluating the Value of Flexibility in Energy Regulation Markets

Neupane, B., Pedersen, T. B. & Thiesson, B., jul. 2015, Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems. Association for Computing Machinery, s. 131-140 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Market regulation
Energy
Econometric analysis
Market power
Costs
1 Citation (Scopus)

Exploiting Semantics in Bayesian Network Inference Using Lazy Propagation

Madsen, A. L. & Butz, C. J., 2015, Advances in Artificial Intelligence: 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings. Barbosa, D. & Milios, E. (red.). Springer, s. 3-15

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

219 Downloads (Pure)

Exploring Urban Events with Transitory Search on Mobiles

Møller Nielsen, P., Paay, J., Pearce, J. & Kjeldskov, J., 2015, Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. Association for Computing Machinery, s. 712-719

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
5 Citationer (Scopus)

Facilitating Flexible Electricity Use in the Home with Eco-Feedback and Eco-Forecasting

Kjeldskov, J., Skov, M., Paay, J., Lund, D., Madsen, T. & Nielsen, M., 7 dec. 2015, Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. Association for Computing Machinery, s. 388-396

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

13 Citationer (Scopus)

Federated SPARQL queries processing with replicated fragments

Montoya, G., Skaf-Molli, H., Molli, P. & Vidal, M. E., 1 jan. 2015, The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings. d’Aquin, M., Thirunarayan, K., Srinivas, K., Groth, P., Arenas, M., Corcho, O., Strohmaier, M., Heflin, J., Simperl, E., Staab, S. & Dumontier, M. (red.). Springer, s. 36-51 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9366).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Query processing
Engines
2 Citationer (Scopus)
399 Downloads (Pure)

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
15 Citationer (Scopus)

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M. & Olsen, P., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (red.). Springer, s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Formal Methods for Modelling and Analysis of Single-Event Upsets

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, s. 287-294

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

21 Citationer (Scopus)

FrameBase: Representing N-ary Relations using Semantic Frames

Rouces, J., de Melo, G. & Hose, K., 31 maj 2015, The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (red.). Springer, s. 505-521 (Lecture Notes in Computer Science; Nr. 9088).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)

Friendship Maintenance in the Digital Age: Applying a Relational Lens to Online Social Interaction

Shklovski, I., Barkhuus, L., Bornoe, N. & Kaye, J. J., 2015, Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW '15). Association for Computing Machinery, s. 1477-1487 11 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

From Safety Critical Java Programs to Timed Process Models

Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G-L. & Priami, C. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Semantics
Mobile agents
Computer programming languages
Algebra

HyperSAX: Fast approximate search of multidimensional data

Gydesen, J. E., Haxholm, H., Poulsen, N. S., Wahl, S. & Thiesson, B., 2015, Proceedings of the International Conference on Pattern Recognition Applications and Methods. SCITEPRESS Digital Library, Bind 1. s. 190-198 9 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

IC2E 2015: Message from the Program Chairs

Jensen, C. S., Parashar, M. & Yeom, H., mar. 2015, Proceeedings of the 2015 IEEE International Conference on Cloud Engineering. IEEE, s. xiv-xiv 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

6 Citationer (Scopus)

Indexing Metric Uncertain Data for Range Queries

Chen, L., Gao, Y., Li, X., Jensen, C. S., Chen, G. & Zheng, B., 2015, Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, s. 951-965

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

Investigating Cross-Device Interaction Techniques: A Case of Card Playing on Handhelds and Tablets

Skov, M. B., Kjeldskov, J., Paay, J., Jensen, H. P. & Olsen, M. P., 7 dec. 2015, Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. New York, NY, USA: Association for Computing Machinery, s. 446-454

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

18 Citationer (Scopus)

Language Emptiness of Continuous-Time Parametric Timed Automata

Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 69-81 12 s. (Lecture Notes in Computer Science; Nr. 9135).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Clocks
Computability and decidability
Semantics
2 Citationer (Scopus)

Linking spatial and dynamic models for traffic maneuvers

Olderog, E-R., Ravn, A. P. & Wisniewski, R., dec. 2015, 2015 54th Annual Conference on Decision and Control (CDC). IEEE, s. 6809-6816

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Managing Big Multidimensional Data

Pedersen, T. B., 31 jan. 2015, Extraction et Gestion des Connaissances: Revue des Nouvelles Technologies de l'Information. Hermann, s. 3-6

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
59 Downloads (Pure)

Measuring and Comparing Energy Flexibilities

Valsomatzis, E., Hose, K., Pedersen, T. B. & Siksnys, L., 2015, Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT). Fischer, P. M., Alonso, G., Arenas, M. & Geerts, F. (red.). CEUR Workshop Proceedings, Bind 1330. s. 78-85 8 s. (CEUR Workshop Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

Message from the General Co-chairs

Jensen, C. S., Xie, X. & Zadorozhny, V. I., 11 sep. 2015, 2015 16th IEEE International Conference on Mobile Data Management . IEEE, Bind 1. s. xi-xii (I E E E International Conference on Mobile Data Management. Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

9 Citationer (Scopus)

Mind the Gap! Comparing Retrospective and Concurrent Ratings of Emotion in User Experience Evaluation

Bruun, A. & Ahm, S., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (red.). Springer, s. 237-254 (Lecture Notes in Computer Science; Nr. 9296).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)
474 Downloads (Pure)

Mining Risk Factors in RFID Baggage Tracking Data

Ahmed, T., Calders, T. & Pedersen, T. B., jun. 2015, IEEE 16th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 235-242 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Radio frequency identification (RFID)
Aviation
Classifiers
Airports
Data mining
7 Citationer (Scopus)

Model checking of finite-state machine-based scenario-aware dataflow using timed automata

Skelin, M., Wognsen, E. R., Olesen, M. C., Hansen, R. R. & Larsen, K. G., 10 aug. 2015, 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE, s. 235-244 10 s. 7185065

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Finite automata
Chemical analysis
8 Citationer (Scopus)
414 Downloads (Pure)

Modeling concept drift: A probabilistic graphical model based approach

Borchani, H., Martinez, A. M., Masegosa, A. R., Langseth, H., Nielsen, T. D., Salmerón, A., Fernández, A., Madsen, A. L. & Sáez, R., 2015, Advances in Intelligent Data Analysis XIV: 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings. Fromont, E., De Bie, T. & van Leeuwen, M. (red.). Springer, s. 72-83 (Lecture Notes in Computer Science; Nr. 9385).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
4 Citationer (Scopus)
4 Downloads (Pure)

Modeling Large Time Series for Efficient Approximate Query Processing

Perera, K. S., Hahmann, M., Lehner, W., Pedersen, T. B. & Thomsen, C., 30 jul. 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (red.). Springer, s. 190-204 15 s. (Lecture Notes in Computer Science; Nr. 9052).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Query processing
Time series
Data warehouses
Terminology
Decision support systems
9 Citationer (Scopus)

Modelling Socio-Technical Attacks with Timed Automata

David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Probst, C., 2015, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, s. 21-28 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

MOST: Mobile Broadband Network Optimization Using Planned Spatio-Temporal Events

Samulevicius, S., Pedersen, T. B. & Sørensen, T. B., 1 maj 2015, IEEE 81st Vehicular Technology Conference (VTC Spring), 2015. IEEE Press, 5 s. (I E E E V T S Vehicular Technology Conference. Proceedings, Bind 81).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
275 Downloads (Pure)

MPE inference in conditional linear gaussian networks

Salmerón, A., Rumí, R., Langseth, H., Madsen, A. L. & Nielsen, T. D., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (red.). Springer, s. 407-416 (Lecture Notes in Computer Science; Nr. 9161).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Bayesian networks
Computational complexity