3047 search results - page 436 / 610 » On the Meaning of Logical Completeness |
ISMAR
2007
IEEE
15 years 4 months ago
2007
IEEE
Tangible Augmented Reality (AR) systems imbue physical objects with the ability to act and respond in new ways. In particular, physical objects and gestures made with them gain me...
IWPC
2007
IEEE
15 years 4 months ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
APN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
79
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...