1734 search results - page 143 / 347 » its 2000 |
183
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
147
click to vote
HPCN
2000
Springer
15 years 9 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
140
click to vote
HUC
2000
Springer
15 years 9 months ago
2000
Springer
Current tools do not provide adequate support to users for handling reminders. The main reason for this is the lack of use of rich context that specifies when a reminder should be ...
178
click to vote
HUMO
2000
Springer
15 years 9 months ago
2000
Springer
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
177
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...