9888 search results - page 1687 / 1978 » Active Algorithm Selection |
FORMATS
2004
Springer
15 years 4 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
GI
2004
Springer
15 years 4 months ago
2004
Springer
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
ICOIN
2004
Springer
15 years 4 months ago
2004
Springer
For more scalable mobile services, it is important to reduce the signaling cost for location management. In this paper, we propose a cost effective IP paging scheme utilizing expl...
106
click to vote
IDEAL
2004
Springer
15 years 4 months ago
2004
Springer
Proteins are known to perform a biological function by interacting with other proteins or compounds. Since protein–protein interaction is intrinsic to most cellular processes, pr...
104
click to vote
IMR
2004
Springer
15 years 4 months ago
2004
Springer
A surface is often approximated by a network of triangular facets. In the absence of a precise mathematical description of the underlying surface all information about surface pro...