4488 search results - page 263 / 898 » Properties of NP-Complete Sets |
179
click to vote
COLT
2005
Springer
16 years 9 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...
193
click to vote
EMSOFT
2005
Springer
16 years 9 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...
144
click to vote
MSN
2005
Springer
16 years 8 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...
243
Voted
CAV
2004
Springer
16 years 5 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...
194
click to vote
PPSN
2004
Springer
16 years 3 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...