999 search results - page 20 / 200 » On the Decidability of Functional Uncertainty |
ITA
2007
13 years 8 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
SCP
1998
13 years 8 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe an empirical study that sought general guidelines for task allocation strategies in multi-robot systems. We identify four distinct task allocation strategies, and demo...