1002 search results - page 102 / 201 » Reasoning about Object Structures Using Ownership |
109
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
110
Voted
AAAI
2008
15 years 4 months ago
2008
One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the...
210
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
This work explores the potential for increased synergy between gazetteers and high-resolution remote sensed imagery. These two data sources are complementary. Gazetteers provide h...
123
click to vote
ICAD
2004
15 years 3 months ago
2004
This paper describes the concept and the realisation of a research prototype of a haptic environment that is enhanced with sound feedback to impart implicit knowledge and to teach...
90
Voted
IJMMS
2006
15 years 2 months ago
2006
How to measure usability is an important question in HCI research and user interface evaluation. We review current practice in measuring usability by categorizing and discussing u...