7827 search results - page 1233 / 1566 » time 2007 |
184
click to vote
ICLP
2007
Springer
16 years 25 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)...
124
click to vote
ICMI
2007
Springer
16 years 25 days ago
2007
Springer
In pen-tablet input devices modes allow overloading of the electronic stylus. In the case of two modes, switching modes with the non-preferred hand is most effective [12]. Furthe...
202
click to vote
ICMI
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...
200
click to vote
ICN
2007
Springer
16 years 25 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...
167
click to vote
ICOIN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In Optical Burst-Switched networks, the so-called BurstControl Packet is sent a given offset-time ahead of the optical data burst to advertise the imminent burst arrival...