|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5620 occurrences of 3172 keywords
|
|
|
Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron |
Abstract Congruence Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(2), pp. 129-168, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
congruence closure, associative-commutative theories, term rewriting |
15 | Itay Ben-Yaacov |
On the fine structure of the polygroup blow-up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(7), pp. 649-663, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Simple theories, Group configuration, Polygroups |
15 | Laurence Cholvy, Christophe Garion |
Distribution of goals addressed to a group of agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 765-772, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
goal selection, qualitative decision theory, theories of rational agency, multiagent systems, modal logic |
15 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(6), pp. 531-568, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
15 | Michael E. Atwood, Katherine W. McCain, Jodi C. Williams |
How does the design community think about design? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 4th Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, DIS 2002, London, England, UK, June 25-28, 2002, pp. 125-132, 2002, ACM, 1-58113-515-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
design taxonomy, theories of design |
15 | Michael Rovatsos, Gerhard Weiß 0001, Marco Wolf |
An approach to the analysis and design of multiagent systems based on interaction frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 682-689, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
control & norms, coordinating multiple agents & activities, social order, social reasoning architectures, sociologically grounded methods, theories of agency and autonomy |
15 | Jürgen Dix, Sarit Kraus, V. S. Subrahmanian |
Agents dealing with time and uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 912-919, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
probabilistic/uncertain reasoning, theories of agency, logic programming, temporal reasoning, formalisms and logics |
15 | Sehl Mellouli, Guy W. Mineau, Daniel Pascot |
The integrated modeling of multi-agent systems and their environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 507-508, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
environment structure, design methodologies, organizational theories |
15 | David A. Basin, Harald Ganzinger |
Automated complexity analysis based on ordered resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(1), pp. 70-109, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ordered resolution, automated theorem proving, complexity analysis, first-order theories |
15 | Tony Moynihan |
Requirements-Uncertainty: Should It Be a Latent, Aggregate or Profit Construct? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia, pp. 181-188, 2000, IEEE Computer Society, 0-7695-0631-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
requirements-uncertainty, theories-of-action, contingency-theory, software project management |
15 | Andrea Corradini 0001, Fabio Gadducci |
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 299-331, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
term graphs, symmetric monoidal categories, gs-monoidal categories, directed acyclic graphs, algebraic theories |
15 | Konstantinos Sagonas, Terrance Swift |
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(3), pp. 586-634, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SLG, memoing, stratification theories, prolog, tabling, WAM |
15 | Michinori Nakata, Germano Resconi, Tetsuya Murai |
Handling Imperfection in Databases: A Modal Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 613-622, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Extended relational databases, Uncertainty theories, Modal logic, Imperfect information |
15 | Hilary Johnson, Peter Johnson 0001 |
Explanation facilities and interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 1st International Workshop on Intelligent User Interfaces, IUI 1993, Orlando, Florida, USA, January 4-7, 1993, pp. 159-166, 1993, ACM, 0-89791-556-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Task Knowledge Structures (TKS), explanation theories, task-based explanation, explanation |
15 | José Luiz Fiadeiro, T. S. E. Maibaum |
Describing, Structuring and Implementing Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 274-310, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic |
15 | Marco Bellia |
Retractions: A Functional Paradigm for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 260-275, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Predicative and functional languages, symbolic expressions, lambda_calculus, Horn clause theories, Herbrand terms, computable sets, relations, retractions |
15 | Jean-Jacques Thiel |
Stop Losing Sleep Over Incomplete Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 76-82, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories |
15 | Pierre Lescanne |
Computer Experiments with the Reve Term Rewriting System Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 99-108, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
program verifier, termination, abstract data types, induction, term rewriting systems, theorem prover, equational theories, word problem |
10 | Jure Leskovec, Daniel P. Huttenlocher, Jon M. Kleinberg |
Signed networks in social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1361-1370, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
positive and negative edges, signed networks, status theory, structural balance, trust and distrust |
10 | Tanmoy Chakraborty 0001, J. Stephen Judd, Michael J. Kearns, Jinsong Tan |
A behavioral study of bargaining in social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 243-252, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavioral economics, human subject experiments, bargaining, network economics |
10 | Christine B. Williams, Jane Fedorowicz, Arthur P. Tomasino |
Governmental factors associated with state-wide interagency collaboration initiatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 11th Annual International Conference on Digital Government Research, Public Administration Online: Challenges and Opportunities, DG.O 2010, Puebla, Mexico, May 17-20, 2010, pp. 14-22, 2010, Digital Government Research Center, 978-1-4503-0070-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
intergovernmental collaboration, state level initiatives, institutional theory, public safety, rational choice theory |
10 | Dianne Lux Wigand |
Twitter takes wing in government: diffusion, roles, and management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 11th Annual International Conference on Digital Government Research, Public Administration Online: Challenges and Opportunities, DG.O 2010, Puebla, Mexico, May 17-20, 2010, pp. 66-71, 2010, Digital Government Research Center, 978-1-4503-0070-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
social media, government, diffusion, social presence, collective intelligence, Twitter, social influence, microblogging |
10 | Aaron Hertzmann |
Non-Photorealistic Rendering and the science of art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPAR ![In: 8th International Symposium on Non-Photorealistic Animation and Rendering, NPAR 2010, Annecy, France, June 7-10, 2010, Proceedings, pp. 147-157, 2010, ACM, 978-1-4503-0125-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Kai Riemer, Stefanie Filius |
Contextualising Media Choice Using Genre Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 1(2), pp. 164-176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Media choice, Virtualization, Teamwork, Virtual teams, Communication analysis, Genre analysis |
10 | Max Garagnani, Thomas Wennekers, Friedemann Pulvermüller |
Recruitment and Consolidation of Cell Assemblies for Words by Way of Hebbian Learning and Competition in a Multi-Layer Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 1(2), pp. 160-176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Competitive recruitment learning, Memory trace, LTP/LTD, Localist distributed representations, Neurobiologically plausible modelling, Perisylvian cortex, Perception-action associations, Consolidation, Synaptic plasticity, Language acquisition, Neurocomputation |
10 | Tom Ziemke, Robert Lowe |
On the Role of Emotion in Embodied Cognitive Architectures: From Organisms to Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 1(1), pp. 104-117, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Homeostasis, Emotion, Motivation, Computational modeling, Organisms, Affect, Cognitive architectures, Grounding, Cognitive robotics, Embodied cognition |
10 | Matthias Rehm, Birgit Endrass |
Rapid prototyping of social group dynamics in multiagent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 24(1), pp. 13-23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Hans Chr Garmann Johnsen, James Karlsen, Roger Normann, Jens Fosse |
The contradictory nature of knowledge: a challenge for understanding innovation in a local context and workplace development and for doing action research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 23(1), pp. 85-98, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Chris Riley, Kathy Buckner, Graham Johnson, David Benyon |
Culture & biometrics: regional differences in the perception of biometric authentication technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 24(3), pp. 295-306, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | DaiZhan Cheng |
Advances in automation and control research in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 1954-1963, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Keyword control theory, high tech oriented, contemporary sciences, fundamental problems |
10 | Alessandro Armando, Jacopo Mantovani, Lorenzo Platania |
Bounded model checking of software using SMT solvers instead of SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(1), pp. 69-83, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kai Riemer, Stefanie Filius |
Kontextualisierung der Medienwahl mit Hilfe von Kommunikationsgenres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 51(2), pp. 192-205, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Media choice, Virtualization, Teamwork, Virtual teams, Communication analysis, Genre analysis |
10 | Andrew H. Gleibman |
Intelligent Processing of an Unrestricted Text in First Order String Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation, pp. 99-127, 2009, Springer, 978-3-642-02096-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Guihuan Zheng, Xun Zhang 0001, Wei Shang, Shanying Xu |
Macro finance early warning system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 3(2), pp. 226-234, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
financial cycle, multidimensional approach, early warning systems |
10 | Cristina Conati, Heather Maclaren |
Empirically building and evaluating a probabilistic model of user affect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 19(3), pp. 267-303, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Evaluation, User modeling, Affective computing, Dynamic Bayesian networks |
10 | Cheng-Feng Lee, Leevan Ling, Robert Schaback |
On convergent numerical algorithms for unsymmetric collocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 30(4), pp. 339-354, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65N12, 65N15, 65N35 |
10 | Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini |
Dynamic Context Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 15-26, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Han Chen, Pasquale Malacaria |
Quantifying maximal loss of anonymity in protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 206-217, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
anonymity, quantitative analysis, Lagrange multipliers |
10 | Xin Zeng, Manling Tan |
A Review of Scene Visualization Based on Language Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Sixth International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV 2009, 11-14 August 2009, Tianjin, China, pp. 429-433, 2009, IEEE Computer Society, 978-0-7695-3789-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marie-Hélène Gorisse |
The Art of Non-asserting: Dialogue with Nagarjuna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 257-268, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yujia Cao, Mariët Theune, Anton Nijholt |
Towards Cognitive-Aware Multimodal Presentation: The Modality Effects in High-Load HCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 3-12, 2009, Springer, 978-3-642-02727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cognitive-aware, modality planning, high-load HCI, performance, cognitive load, stress, multimodal presentation |
10 | Torkil Clemmensen |
Towards a Theory of Cultural Usability: A Comparison of ADA and CM-U Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 416-425, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
HCI, usability, culture, Cultural models |
10 | Yoshiki Nakamura 0004, Katsuhiro Sakamoto |
Construction of Systematic Learning Support System of Business Theory and Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 669-678, 2009, Springer, 978-3-642-02558-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
educational simulator, business theory and technique, decision making, Supply chain management |
10 | Jenny Quillien, Pam Rostal, Dave West |
Agile anthropology and Alexander's architecture: an essay in three voices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 529-546, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
alexander, complexity, ethnography, patterns, agile, unfolding, theory-building |
10 | Jeremy E. Dawson, Alwen Tiu |
Formalising Observer Theory for Environment-Sensitive Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 180-195, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Oluseyi Alaba |
Networks, fractals and complexity: web-based information patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, pp. 16-20, 2009, ACM, 978-1-60558-829-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
complex systems theory, infometrics, networks, self-organizing, power law, fractal theory |
10 | Carina Lopes, Gerson Zaverucha |
HTILDE: scaling up relational decision trees for very large databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1475-1479, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sampling, ILP, very large databases, Hoeffding bound |
10 | Yangyong Zhu, Ning Zhong 0001, Yun Xiong |
Data Explosion, Data Nature and Dataology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics ![In: Brain Informatics, International Conference, BI 2009, Beijing, China, October 22-24, 2009, Proceedings, pp. 147-158, 2009, Springer, 978-3-642-04953-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Christian Schäufler, Stefan Artmann, Clemens Beckstein |
A Structuralistic Approach to Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 363-370, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Václav Rajlich |
Intensions are a key to program comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 1-9, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Geoffrey Smith 0001 |
On the Foundations of Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 288-302, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marilyn A. Walker |
Endowing Virtual Characters with Expressive Conversational Skills. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 14-16, 2009, Proceedings, pp. 1-2, 2009, Springer, 978-3-642-04379-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Affective Generation, Personality, Conversation, Dialogue |
10 | Markus Kirchberg, Klaus-Dieter Schewe |
Preface to ETheCoM 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 33, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner |
Realizing Default Logic over Description Logic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 602-613, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Besnard, Éric Grégoire, Sébastien Ramon |
A Default Logic Patch for Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 578-589, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas, Default logic |
10 | Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev |
Computing Stable Models via Reductions to Difference Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 142-154, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jinfeng Ma, Feng Mao, Wensheng Zhou |
Utilizing Multi Agent Simulation to Explore Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 841-845, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey Bardzell |
Interaction criticism and aesthetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 2357-2366, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
interaction criticism, hci, interaction design, aesthetics, cultural theory, critical theory |
10 | Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura |
On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 35-50, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 87-96, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
10 | Akira Otsuki, Kenichi Okada |
The study of the knowledge optimization tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 443-450, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
new knowledge creation support, seci model, knowledge management |
10 | Hakikur Rahman |
Framework of e-governance at the local government level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 372-374, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
community empowerment, framework of e-government, knowledge development, e-governance, e-government, developing countries, local government |
10 | Benjamin G. Shaw 0001 |
A cognitive account of collective emergence in design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 7th Conference on Creativity & Cognition, Berkeley, California, USA, October 26-30, 2009, pp. 59-68, 2009, ACM, 978-1-60558-865-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design cognition, visualization, collaboration, emergence, interaction analysis |
10 | Mathieu Baudet, Véronique Cortier, Stéphanie Delaune |
YAPA: A Generic Tool for Computing Intruder Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 148-163, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ho-Pun Lam, Guido Governatori |
The Making of SPINdle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 315-322, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modal Defeasible Logic, Reasoning, Defeasible Logic |
10 | Christina Keller, Klas Gäre, Mats Edenius, Staffan Lindblad |
Designing for complex innovations in health care: design theory and realist evaluation combined. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DESRIST ![In: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2009, Philadelphia, Pennsylvania, USA, May 7-8, 2009, 2009, ACM, 978-1-60558-408-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
realist evaluation, innovation, health care, design theory |
10 | Stéphane Donikian |
A Comparative Review of Reactive Behaviour Models as Proposed in Computer Graphics and Cognitive Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIG ![In: Motion in Games, Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedings, pp. 63-74, 2009, Springer, 978-3-642-10346-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Akira Otsuki, Kenichi Okada |
Construction of Optimized Knowledge and New Knowledge Creation Support Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 500-513, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
New knowledge creation support, SECI Model, Knowledge management |
10 | Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro |
Discrete physics using metrized chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009, pp. 135-145, 2009, ACM, 978-1-60558-711-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discrete calculus, geometric and physical modeling |
10 | Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch |
Data Structures with Arithmetic Constraints: A Non-disjoint Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 319-334, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ashish Tiwari 0001 |
Combining Equational Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 68-83, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nikolaj S. Bjørner, Leonardo Mendonça de Moura |
Tapas: Theory Combinations and Practical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, pp. 1-6, 2009, Springer, 978-3-642-04367-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Answer Sets in a Fuzzy Equilibrium Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings, pp. 135-149, 2009, Springer, 978-3-642-05081-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ylva Fernaeus, Mattias Jacobsson |
Comics, robots, fashion and programming: outlining the concept of actDresses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction 2009, Cambridge, UK, February 16-18, 2009, pp. 3-8, 2009, ACM, 978-1-60558-493-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
physical languages, tangible interaction, semiotics |
10 | Heinrich H. Bülthoff, Christian Wallraven, Martin A. Giese |
Perceptual Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Springer Handbook of Robotics ![In: Springer Handbook of Robotics, pp. 1481-1498, 2008, Springer, 978-3-540-23957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Elizabeth L. Mansfield, Peter E. Hydon |
Difference Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 8(4), pp. 427-467, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 39A12, 14F40, 55N05, 15A75 |
10 | Emmanuel Guigon, Pierre Baraduc, Michel Desmurget |
Optimality, stochasticity, and variability in motor behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 24(1), pp. 57-68, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model, Noise, Motor control |
10 | Masahiko Sato 0001 |
A framework for checking proofs naturally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 31(2), pp. 111-125, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Natural framework, Computation and logic, NF/CAL system |
10 | Anil Nerode, Jeffrey B. Remmel |
Consistency properties and set based logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 53(1-4), pp. 289-311, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70 |
10 | Jinwei Cao, Janna M. Crews, Ming Lin 0001, Judee K. Burgoon, Jay F. Nunamaker Jr. |
An empirical investigation of virtual Interaction in supporting learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(3), pp. 51-68, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
technology mediated learning (TML), virtual interaction, e-learning, question answering |
10 | Tru H. Cao, Hoa Nguyen, Ma Nam |
Modelling and Computing with Imprecise and Uncertain Properties in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 141-159, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin Kuipers |
An Intellectual History of the Spatial Semantic Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and Cognitive Approaches to Spatial Mapping ![In: Robotics and Cognitive Approaches to Spatial Mapping, pp. 243-264, 2008, Springer, 978-3-540-75386-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Guoyin Jiang, Lihong Dong |
Comparative Research of Modeling Methods for Workflow Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 976-980, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Maithilee Kunda, Ashok K. Goel 0001 |
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 103-117, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mental imagery, cognition, Autism, visual representation, visual reasoning |
10 | Yingxu Wang |
On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008, pp. 384-393, 2008, IEEE Computer Society, 978-1-4244-2538-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Theory of Pointers for the UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantics, refinement, object models, relations |
10 | Karin Axelsson, Ulf Melin |
Citizen Participation and Involvement in eGovernment Projects: An Emergent Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings, pp. 207-218, 2008, Springer, 978-3-540-85203-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
citizen participation, citizen involvement, eGovernment, focus group, user participation, IS development |
10 | Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker |
Fields, Meadows and Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 166-178, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Peer Stelldinger |
Topologically Correct 3D Surface Reconstruction and Segmentation from Noisy Samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings, pp. 274-285, 2008, Springer, 978-3-540-78274-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg |
Preface to CMLSA 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-87990-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizoguchi |
Structurization of Learning/Instructional Design Knowledge for Theory-Aware Authoring Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 573-582, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | David Pearce 0001, Agustín Valverde |
Quantified Equilibrium Logic and Foundations for Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 546-560, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Koen van Turnhout, Jacques M. B. Terken, Berry Eggen |
Designing Socially Aware Conversational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIT ![In: Perception in Multimodal Dialogue Systems, 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008, Proceedings, pp. 256-267, 2008, Springer, 978-3-540-69368-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
MTT: The Maude Termination Tool (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 313-319, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Rahul De' |
Electronic governance theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008, pp. 11-15, 2008, ACM, 978-1-60558-386-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
e-governance, theory, development, structuration, tutorial |
10 | Georgios K. Giannikis, Aspassia Daskalopulu |
How Can Agents Know What to Assume When? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, pp. 538-545, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Z3: An Efficient SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 337-340, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Madeleine Siösteen-Thiel, Marijn Janssen |
Bridging the terms and vocabulary gap among research and practitioners communities: panel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 9th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2008, Montreal, Canada, May 18-21, 2008, pp. 435-436, 2008, Digital Government Research Center, 978-1-60558-099-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
research reports, theory and practice, communication, applied research |
10 | Ullrich Köthe |
What Can We Learn from Discrete Images about the Continuous World?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings, pp. 4-19, 2008, Springer, 978-3-540-79125-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Henry M. Kim, Kelly A. Lyons, Mary Ann Cunningham |
Towards a Framework for Evaluating Immersive Business Models: Evaluating Service Innovations in Second Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 110, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
|
|