5130 search results - page 878 / 1026 » Constraint Query Languages |
107
click to vote
AI
2003
Springer
15 years 8 months ago
2003
Springer
Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (fea...
134
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
127
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
138
click to vote
IWPC
2000
IEEE
15 years 7 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
156
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...