3887 search results - page 433 / 778 » The World as Evolving Information |
146
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
179
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
The capability of correlating streaming web data with internal data in near real time gives enterprises a tremendous competitive advantage by enabling them to be aware of external...
178
click to vote
AAAI
2008
15 years 9 months ago
2008
The Semantic Web language RDF was designed to unambiguously define and use ontologies to encode data and knowledge on the Web. Many people find it difficult, however, to write com...
160
click to vote
AAAI
2007
15 years 9 months ago
2007
In this paper, we consider the exploration of topological environments by a robot with weak sensory capabilities. We assume only that the robot can recognize when it has reached a...
170
click to vote
ACMIDC
2008
15 years 8 months ago
2008
In this paper, a system called GENTORO that supports children's storytelling activities is proposed. By using GENTORO, children can make a robot play their story in the real ...