5639 search results - page 366 / 1128 » Timed Abstract Non-interference |
120
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
165
click to vote
ALGOSENSORS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Wireless sensor networks benefit from communication protocols that reduce power requirements by avoiding frame collision. Time Division Media Access methods schedule tra...
140
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
146
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
152
click to vote
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A datatype with increasing importance in GIS is what we call the location history–a record of an entity’s location in geographical space over an interval of time. Thi...