4488 search results - page 263 / 898 » Properties of NP-Complete Sets |
199
click to vote
COLT
2005
Springer
16 years 25 days ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
208
click to vote
EMSOFT
2005
Springer
16 years 25 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
156
click to vote
MSN
2005
Springer
16 years 24 days ago
2005
Springer
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
257
click to vote
CAV
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
203
click to vote
PPSN
2004
Springer
16 years 19 days ago
2004
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. One of the most successful methods to auto...