2364 search results - page 397 / 473 » On O-Minimal Hybrid Systems |
106
click to vote
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
ISRR
2005
Springer
15 years 5 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
PDCAT
2005
Springer
15 years 5 months ago
2005
Springer
In this paper security requirements and security architecture for 4G systems are presented with the consideration of Trusted Computing (TC) for mobile equipment (ME). The security...
100
click to vote
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
107
click to vote
CC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...