994 search results - page 137 / 199 » Custom Computing Machines for the Set Covering Problem |
122
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
117
click to vote
AAAI
2006
15 years 4 months ago
2006
In this work, a generalized method for learning from sequence of unlabelled data points based on unsupervised order-preserving regression is proposed. Sequence learning is a funda...
148
click to vote
JCM
2006
15 years 3 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...
129
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
123
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...