979 search results - page 11 / 196 » Presentations for Abstract Context Institutions |
Publication
Abstract information refers to information that a user can’t directly obtain just by visualizing the spatial information of objects in a 3D virtual environment (3DVE). This thesi...
MRCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents a contexts recognition algorithm that uses the Internet as a knowledge base to extract the multiple contexts of a given situation, based on the streami...
96
Voted
JAR
2007
14 years 9 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
105
click to vote
KIVS
2009
Springer
15 years 4 months ago
2009
Springer
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
95
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...