1188 search results - page 169 / 238 » Modeling synchronized time series |
135
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
144
Voted
SAC
2003
ACM
15 years 9 months ago
2003
ACM
One of the most challenging objectives of mobile data management is the ubiquitous, any time, anywhere access. This objective is very difficult to meet due to several network and ...
143
Voted
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
A number of techniques have been developed for reconstructing surfaces by integrating groups of aligned range images. A desirable set of properties for such algorithms includes: i...
135
Voted
JCNS
2000
15 years 3 months ago
2000
Neocortical networks of excitatory and inhibitory neurons can display alpha()-frequency rhythms when an animal is in a resting or unfocused state. Unlike some - and -frequency rhy...
133
Voted
WSC
1997
15 years 5 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...