6320 search results - page 436 / 1264 » Towards Situated Computing |
191
click to vote
CIA
2004
Springer
16 years 6 days ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
183
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
153
click to vote
AAAI
2008
15 years 9 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
142
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
190
click to vote
IIE
2006
15 years 6 months ago
2006
Weblogs are a popular form of easy-to-use personal publishing that has attracted millions of bloggers to share their personal thoughts, opinions, and knowledge on the web. The vers...