1188 search results - page 169 / 238 » Modeling synchronized time series |
110
Voted
CAV
2007
Springer
15 years 6 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 ...
111
click to vote
SAC
2003
ACM
15 years 6 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 ...
113
Voted
SIGGRAPH
1996
ACM
15 years 4 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...
105
Voted
JCNS
2000
15 years 14 days 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...
114
click to vote
WSC
1997
15 years 2 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...