19936 search results - page 3485 / 3988 » Inductive process modeling |
172
click to vote
ICLP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
141
click to vote
ICMI
2007
Springer
16 years 14 days ago
2007
Springer
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
191
click to vote
ICN
2007
Springer
16 years 14 days ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
147
click to vote
ICWL
2007
Springer
16 years 14 days ago
2007
Springer
In this paper we present the European project Open Dance and in particular our contribution to the 3D simulation of folk dances and their presentation on the web. Our aim is to pro...
186
click to vote
ISI
2007
Springer
16 years 14 days ago
2007
Springer
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...