1712 search results - page 282 / 343 » Abstract Constraint Data Types |
103
click to vote
PKDD
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
82
Voted
HYBRID
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
LCPC
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
84
Voted
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
ER
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...