4084 search results - page 500 / 817 » Constraints in spatial structures |
193
click to vote
GRC
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
181
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
Efficient multimodal fusion is a key feature of future video indexing systems. Hidden Markov Models provide a powerful framework for video structure analysis but they require all...
160
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
185
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
131
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...