2851 search results - page 289 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
181
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
199
click to vote
EKAW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
169
click to vote
PADS
2004
ACM
16 years 3 days ago
2004
ACM
An eļ¬cient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identiļ¬...
197
Voted
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
We propose a novel approach for shape-based segmentation based on a specially designed level set function format. This format permits us to better control the process of object re...
164
click to vote
LREC
2008
15 years 8 months ago
2008
Data models and encoding formats for syntactically annotated text corpora need to deal with syntactic ambiguity; underspecified representations are particularly well suited for th...