4305 search results - page 378 / 861 » Analysing Protocol Implementations |
150
click to vote
DLOG
2004
15 years 8 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
155
click to vote
IADIS
2004
15 years 8 months ago
2004
There has been research on the areas of on-line and mobile service domains both in the business research discipline and the technology discipline. Some of the research has concent...
187
click to vote
IFIP12
2004
15 years 8 months ago
2004
: Conventional discussion environments provide the technical platform for distributed discussion and collaboration, but apart from some statistical data collected, rarely provide i...
170
click to vote
DICTA
2003
15 years 8 months ago
2003
Abstract. The reconstruction of a complex scene from multiple images is a fundamental problem in the field of computer vision. Volumetric methods have proven to be a strong altern...
199
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...