16518 search results - page 3237 / 3304 » A New Approach to Splitting-Off |
99
Voted
DEBS
2008
ACM
15 years 2 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...
105
click to vote
DIMEA
2008
15 years 2 months ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
122
Voted
DLS
2008
15 years 2 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
213
click to vote
ECCV
2008
Springer
15 years 2 months ago
2008
Springer
Extraction and matching of discriminative feature points in images is an important problem in computer vision with applications in image classification, object recognition, mosaici...
101
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...