2139 search results - page 43 / 428 » Connecting language to the world |
CHARME
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
From pre-schools to high schools, at home and in museums, the educational community has embraced the use of computers as a teaching tool. Yet many institutions will simply install...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Current business conditions have given rise to distributed teams that are mostly collocated except for one remote member. These “hub-and-satellite” teams face the challenge of...
101
click to vote
VL
2002
IEEE
15 years 3 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
KDD
1997
ACM
15 years 2 months ago
1997
ACM
Thereis a wealthof informationto be minedfromnarrative text on the WorldWideWeb.Unfortunately, standard natural language processing (NLP)extraction techniques expect full, grammat...