10271 search results - page 1625 / 2055 » Computer Science |
168
click to vote
IDA
2002
Springer
15 years 6 months ago
2002
Springer
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
232
click to vote
GEM
2009
15 years 4 months ago
2009
- Understanding how systems can be designed to be evolvable is fundamental to research in optimization, evolution, and complex systems science. Many researchers have thus recognize...
174
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Consider an n-vertex graph G = (V, E) of maximum degree ∆, and suppose that each vertex v ∈ V hosts a processor. The processors are allowed to communicate only with their neig...
242
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
173
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...