540 search results - page 68 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
112
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
87
Voted
CHI
2005
ACM
16 years 28 days ago
2005
ACM
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
91
Voted
NJC
2006
15 years 14 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
102
click to vote
GPC
2008
Springer
15 years 1 months ago
2008
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...
90
Voted
VL
1996
IEEE
15 years 4 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...