Sciweavers

1490 search results - page 38 / 298
» Interactive semantics
Sort
View
IEEECIT
2006
IEEE
14 years 2 months ago
Extending Pervasive Devices with the Semantic Grid: A Service Infrastructure Approach
Pervasive computing devices are gradually becoming increasingly prevalent in our everyday life, enabling the users in the physical world to interact with the digital world. Grid c...
Tao Guan, Ed Zaluska, David De Roure
IUI
2005
ACM
14 years 2 months ago
Generating semantic contexts from spoken conversation in meetings
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
Jürgen Ziegler, Zoulfa El Jerroudi, Karsten B...
JAR
2007
85views more  JAR 2007»
13 years 8 months ago
User Interaction with the Matita Proof Assistant
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
AMSTERDAM
2009
13 years 6 months ago
Supplements within a Unidimensional Semantics I: Scope
Potts (2005, 2007) claims that Grice's `conventional implicatures' offer a powerful argument in favor of a multidimensional semantics, one in which certain expressions fa...
Philippe Schlenker
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Modeling Interactions from Email Communication
Email plays an important role as a medium for the spread of information, ideas, and influence among its users. We present a framework to learn topic-based interactions between pa...
Dong Zhang, Daniel Gatica-Perez, Deb Roy, Samy Ben...