265 search results - page 14 / 53 » Learning to Support Constraint Programmers |
CASES
2001
ACM
15 years 1 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
87
Voted
IMSA
2001
14 years 11 months ago
2001
This paper analyses the requirements of a third-generation technology integrated learning environment. The architecture proposed is analysed in terms of the generic constraints of...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we present a new scheme for detection and tracking of specific objects in a knowledge-based framework. The scheme uses a supervised learning method: Support Vector M...
78
Voted
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...