4036 search results - page 520 / 808 » Formal Methods |
179
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...
162
Voted
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
184
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Scheduling meetings is generally difficult in that it attempts to satisfy the preferences of all participants. However, all participants can agree to a schedule in which...
169
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
198
click to vote
BCS
2008
15 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...