3235 search results - page 554 / 647 » Partial Redundant Modeling |
119
Voted
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
113
click to vote
GD
2006
Springer
15 years 5 months ago
2006
Springer
We consider graph drawing algorithms for learning spaces, a type of st-oriented partial cube derived from an antimatroid and used to model states of knowledge of students. We show...
142
click to vote
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
120
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
Periodicy detection in time series data is a challenging problem of great importance in many applications. Most previous work focused on mining synchronous periodic patterns and d...
135
Voted
PKDD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...