2470 search results - page 310 / 494 » Liveness-Preserving Simulation Relations |
154
click to vote
CONTEXT
2005
Springer
15 years 10 months ago
2005
Springer
Object identification via a perceptual-demonstrative mode of presentation has been studied in cognitive science as a particularly direct and context-dependent means of identifying ...
141
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
141
Voted
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
The elastic net and related algorithms, such as generative topographic mapping, are key methods for discretized dimension-reduction problems. At their heart are priors that specify...
166
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
— We address the problem of secure location determination, known as Secure Localization, and the problem of verifying the location claim of a node, known as Location Verificatio...
144
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...