8009 search results - page 306 / 1602 » cans 2005 |
180
click to vote
PERVASIVE
2005
Springer
16 years 4 days ago
2005
Springer
There is currently a lot of research going on in the field of mobile interaction with the real world. So far, the environment where the mobile phone is used is mainly perceived as...
138
click to vote
PROFES
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
176
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
135
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
156
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...