Sciweavers

1686 search results - page 293 / 338
» Programs as polygraphs: computability and complexity
Sort
View
94
Voted
ICRA
2002
IEEE
151views Robotics» more  ICRA 2002»
15 years 2 months ago
Protocols for Collaboration, Coordination and Dynamic Role Assignment in a Robot Team
—Creation of cooperative robot teams for complex tasks requires not only agents that can function well individually but also agents that can coordinate their actions. This paper ...
Rosemary Emery, Kevin Sikorski, Tucker R. Balch
EICS
2009
ACM
15 years 2 months ago
AUGUR: providing context-aware interaction support
As user interfaces become more and more complex and feature laden, usability tends to decrease. One possibility to counter this effect are intelligent support mechanisms. In this ...
Melanie Hartmann, Daniel Schreiber, Max Mühlh...
AGP
1999
IEEE
15 years 2 months ago
ACI1 constraints
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
RTSS
1999
IEEE
15 years 2 months ago
Timing Anomalies in Dynamically Scheduled Microprocessors
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...
Thomas Lundqvist, Per Stenström
IEAAIE
1999
Springer
15 years 1 months ago
Modelling Fuzzy Sets Using Object-Oriented Techniques
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
Gary Yat Chung Wong, Hon Wai Chun