1968 search results - page 51 / 394 » The Complexity of Valued Constraint Models |
120
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
126
click to vote
JMLR
2008
15 years 1 months ago
2008
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...
120
click to vote
CRV
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
204
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
We continue the study of approximating the number of distinct elements in a data stream of length n to within a (1? ) factor. It is known that if the stream may consist of arbitra...
117
click to vote
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...