|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 271 occurrences of 237 keywords
|
|
|
Results
Found 1883 publication records. Showing 1582 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Stephen L. Olivier, Simon D. Hammond, Alejandro Duran |
Double Buffering for MCDRAM on Second Generation $$\hbox {Intel}^{\circledR }$$ Xeon Phi $$^{\text {TM}}$$ Processors with OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 311-324, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Leopold Grinberg, Carlo Bertolli, Riyaz Haque |
Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU + GPU Systems (Part I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 3-16, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Richard Neill, Andi Drebes, Antoniu Pop |
Accurate and Complete Hardware Profiling for OpenMP - Multiplexing Hardware Events Across Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 266-280, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Matt Martineau, Simon McIntosh-Smith |
The Productivity, Portability and Performance of OpenMP 4.5 for Scientific Applications Targeting Intel CPUs, IBM CPUs, and NVIDIA GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 185-200, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Florian Wende, Martijn Marsman, Zhengji Zhao, Jeongnim Kim |
Porting VASP from MPI to MPI+OpenMP [SIMD] - Optimization Strategies, Insights and Feature Proposals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 107-122, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Leopold Grinberg, Carlo Bertolli, Riyaz Haque |
Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU + GPU Systems (Part II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 17-29, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Atkinson, Simon McIntosh-Smith |
On the Performance of Parallel Tasking Runtimes for an Irregular Fast Multipole Method Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, pp. 92-106, 2017, Springer, 978-3-319-65577-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman (eds.) |
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![Springer, 978-3-319-42018-9 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield |
Enabling Reasoning with LegalRuleML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 241-257, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar |
Choreographic Compilation of Decentralized Comprehension Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 113-129, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Bill Marino, Ari Juels |
Setting Standards for Altering and Undoing Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 151-166, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Neng-Fa Zhou |
Programming in Picat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 3-18, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Carl Schultz 0001, Mehul Bhatt |
A Numerical Optimisation Based Characterisation of Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 199-207, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà |
A Framework Enhancing the User Search Activity Through Data Posting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 287-304, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi |
SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 341-349, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Stefania Costantini, Giovanni De Gasperis |
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 97-112, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Gen Zou, Harold Boley |
Minimal Objectification and Maximal Unnesting in PSOA RuleML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 130-147, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Harold Boley |
The RuleML Knowledge-Interoperation Hub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 19-33, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Stefano Ferilli |
Handling Complex Process Models Conditions Using First-Order Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 37-52, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou |
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 325-340, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien |
SBVR to OWL 2 Mapping in the Domain of Legal Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 258-266, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor |
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 167-183, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao 0001 |
OBDA Constraints for Effective Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 269-286, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Gall, Thom W. Frühwirth |
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 223-237, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Melanie Swan |
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 184-196, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke |
Controlling the Average Behavior of Business Rules Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 83-96, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Greg Harris, Anand V. Panangadan, Viktor K. Prasanna |
PRIMER - A Regression-Rule Learning System for Intervention Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 307-321, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin |
Business Rules Uncertainty Management with Probabilistic Relational Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 53-67, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez |
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 68-82, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Thom W. Frühwirth |
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, pp. 208-222, 2016, Springer, 978-3-319-42018-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Landon Rabern |
A different short proof of Brook's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 34(3), pp. 633-634, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Janos G. Hajagos, Viviktesh Agwan |
Linking Clinicians to Biomedical Researchers: An Application of the ISF Ontology at Stony Brook Medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, New York, NY, USA, May 27-29, 2014, pp. 503-504, 2014, IEEE Computer Society, 978-1-4799-4435-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Ezio Bartocci, C. R. Ramakrishnan 0001 (eds.) |
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-642-39175-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 43-60, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
On-the-Fly Control Software Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 61-80, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk |
Regression Verification Using Impact Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 99-116, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Stefan Leue, Mitra Tabaei Befrouei |
Mining Sequential Patterns to Explain Concurrent Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 264-281, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang |
Verifying a Quantitative Relaxation of Linearizability via Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 24-42, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Sagar Chaki, Joseph Andrew Giampapa |
Probabilistic Verification of Coordinated Multi-robot Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 135-153, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Stavros Tripakis, Christos Stergiou 0001, Manfred Broy, Edward A. Lee |
Error-Completion in Interface Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 358-375, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Chih-Hong Cheng, Michael Geisinger, Christian Buckl |
Synthesizing Controllers for Automation Tasks with Performance Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 154-159, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske |
Property-Driven Benchmark Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 341-357, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Florian Leitner-Fischer, Stefan Leue |
On the Synergy of Probabilistic Causality Computation and Causality Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 246-263, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Annu John, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder |
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 209-226, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Giorgio Delzanno, Riccardo Traverso |
Specification and Validation of Link Reversal Routing via Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 160-177, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek |
Compositional Approach to Suspension and Other Improvements to LTL Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 81-98, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 0002 |
Guard-Based Partial-Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 227-245, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Gerard J. Holzmann |
Proving Properties of Concurrent Programs - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 18-23, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Nuno P. Lopes, José Monteiro 0001 |
Automatic Equivalence Checking of UF+IA Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 282-300, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Anthony Romano, Dawson R. Engler |
Expression Reduction from Programs in a Symbolic Binary Executor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 301-319, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle |
Abstraction-Based Guided Search for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 117-134, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Sven Gröning, Christopher Rosas, Christian Wietfeld |
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 196-208, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
Model Checking Unbounded Concurrent Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 320-340, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard |
Local Model Checking of Weighted CTL with Upper-Bound Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 178-195, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Dirk Beyer 0001, Philipp Wendler |
Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 1-17, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Jarno Mielikäinen, Bormin Huang, Hung-Lung Allen Huang, Mitchell D. Goldberg |
GPU Implementation of Stony Brook University 5-Class Cloud Microphysics Scheme in the WRF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 5(2), pp. 625-633, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | |
Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![Knowledge Systems Institute, 1-891706-28-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Yi Deng |
From Computing to Informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Giacomo Franco, Paolo Maresca, Giancarlo Nota |
The assessment of knowledge requirements in a network of goal oriented organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 193-199, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Andrea F. Abate, Vincenzo Del Fatto, Michele Nappi, Stefano Ricciardi, Genoveffa Tortora |
Immersive Gesture-based Interface for Effective 3D Geographic Data Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 261-264, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Pierpaolo Di Bitonto, Maria Laterza, Teresa Roselli, Veronica Rossano |
An Adaptive Test for Learning Objects: item calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 211-215, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Francesca Arcelli, Marco Zanoni, Riccardo Porrini, Mattia Vivanti |
A model proposal for program comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 23-28, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Nenad Rogulja, Branko Milosavljevic, Zora Konjovic |
Software Clustering Using Drools Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 17-22, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Clay Fenlason |
Sakai 3: the Co-evolution of Product and Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 235-238, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Thangaraj Karol Stuart, Zhiwei (Tommy) Xu |
Advanced Pattern Match techniques for identifying Similar Transactions in a Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 159-163, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Abdullah S. Alghamdi, Zeeshan Siddiqui |
Common Interoperability Framework for Defense Architectures, A Web Semantic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 149-152, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Donald V. Steward, Josh Knight |
THE EXPLAINER: Using the Computer to Help Collaborate in Connecting the Dots to Resolve Complex Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 114-119, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Aditi Patwardhan, Kevin W. Hamlen, Kendra M. L. Cooper |
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 257-260, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Adriana Cursino Thomé, Maurício Gonçalves Vieira Ferreira, João Bosco S. Cunha |
SICSDA: an Adaptive Configurable Distributed Software Architecture Applied to Satellite Control Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 94-97, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Carmelo Ardito, Rosa Lanzilotti |
How do archaeologists work? A multimedia digital object to learn their investigation process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 206-210, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Emanuele Bellini 0001, Marcel Aime Deussom, Paolo Nesi |
Assessing Open Archive OAI-PMH implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 153-158, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Doraid M. Dalalah |
Congestion Optimization in Data Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 88-93, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Carlos E. Cirilo, Antônio Francisco do Prado, Wanderley Lopes de Souza, Luciana A. M. Zaina |
A Hybrid Approach for Adapting Web Graphical User Interfaces to Multiple Devices using Information Retrieved from Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 168-173, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Francesco Colace, Shi-Kuo Chang, Massimo De Santo |
SINMS: A Slow Intelligence Network Manager based on SNMP Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 47-52, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Erland Jungert, Christina Grönwall, Niklas Hallberg, Birgitta Kylesten, Fredrik Lantz, Lars Eriksson |
A Generic Architecture for Surveillance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 57-63, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Hauke Vagts, Erik Krempel, Jürgen Beyerer |
Privacy Enforcement by Identity Management in Smart Surveillance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 64-69, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Rosanna Cassino, Monica Sebillo, Maurizio Tucci |
A design methodology for the development of GIS applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 271-276, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Pierfrancesco Bellini, Daniele Cenni, Vladimiro Corsi, Paolo Nesi |
An Engine for Local Communities Sharing Services and Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 110-113, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Richard Göbel, Carsten Kropf |
Towards Hybrid Index Structures for Multi-Media Search Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 143-148, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Anupam Guha, Hyungsin Kim, Ellen Yi-Luen Do |
Automated Clock Drawing Test through Machine Learning and Geometric Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 311-314, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | André Luiz Peron Martins Lanna, Carlos Alberto Marques Pietrobon |
Software Process Reuse Based on Knowledge and Process Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 29-32, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Yen-Chieh Huang, Chih-Ping Chu, Yu-Shih Lin, Chia-Hao Kuo |
RFID Applications in Hospitals - A Case Study for Emergency Department. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 70-75, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Juzheng Li, Sol M. Shatz |
Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 82-87, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Tiansi Dong |
Modeling Human Intelligence as A Slow Intelligence System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 41-46, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Todd Jensen 0002, Olaf A. Schulte |
Opencast, the Opencast Community and Opencast Matterhorn - A global community-driven project to build a management system for academic video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 232-234, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Salvatore Cuomo, Vittorio Fuccella, Aniello Murano |
Full Formative Assessment based on Educational Video Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 228-231, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Chris Ellison, Bee Ong, Kia Ng |
iRock Interactive Multimedia System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 137-142, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Veselina Milanova, Kay-Uwe Schmidt, Jörg Dörflinger, Axel Spriestersbach, Susan Thomas |
Agile User Interfaces in Disaster Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 174-179, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Shi-Kuo Chang, Emilio Zegarra, Chia Chun Shih, Ting-Chun Peng, Francesco Colace, Massimo De Santo |
Ontological Filters for Slow Intelligence Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 33-40, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Chia Chun Shih, Ting-Chun Peng |
Building Topic/Trend Detection System based on Slow Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 53-56, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Chi-Lu Yang, Yen-Chieh Huang, Yeim-Kuan Chang, Chih-Ping Chu |
A Technical Model Using Genetic Algorithm For the Cosmetic Tourism Business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 76-81, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Gerald Draxler, Johannes Sametinger, Andreas Wiesauer |
Electronic Payment and Online Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 104-109, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Yoshiyuki Hino, Kazuo Yana, Hisato Kobayashi, Kimiyoshi Hayashi, Yasushi Kodama, Billy Pham |
3D virtual space for a quality e-Learning environment in collaborative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 243-248, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Luis Carlos Niño-Tavera, Angela Carrillo Ramos, Edgar Enrique Ruiz |
A Display Adaptation Model for Nomadic Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 164-167, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Gennaro Costagliola, Vittorio Fuccella, Michele Di Capua |
Interpreting Gestures for Text Entry on Touch Screen Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 315-320, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Mauro Coccoli, Paolo Maresca, Lidia Stanganelli |
Enforcing Team Cooperation: an example of Computer Supported Collaborative Learning in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 189-192, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | David Hung-Chang Du |
Challenges in a New Data Explosion Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Muhanna Muhanna, Sermsak Buntha, Sohei Okamoto, Michael J. McMahon Jr., Sergiu Dascalu, Frederick C. Harris Jr. |
CAVEMANDER: Creating 3-D Command-and-Control Scenarios for the CAVE Automatic Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 300-304, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Peter Chapman, Gem Stapleton |
On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 283-288, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Pierfrancesco Bellini, Daniele Cenni, Alice Fuzier, Paolo Nesi, Gianni Pantaleo, Michela Paolucci |
Metrics for best practice networks analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 16th International Conference on Distributed Multimedia Systems, DMS 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA, pp. 7-10, 2010, Knowledge Systems Institute, 1-891706-28-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
Displaying result #101 - #200 of 1582 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|