16216 search results - page 212 / 3244 » Effective Modeling with Constraints |
170
click to vote
IAJIT
2008
15 years 6 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
154
Voted
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a computer simulation of context effects on problem solving with AMBR — a model of human analogy-making. It demonstrates how perceiving some incidental object...
198
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
160
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
168
click to vote
MMM
2008
Springer
16 years 1 months ago
2008
Springer
In this paper we compare the effectiveness of rhythm based signal segmentation technique with the traditional fixed length segmentation for music contents representation. We consid...