2765 search results - page 57 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
148
click to vote
FASE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
192
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
230
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
192
click to vote
PKDD
2000
Springer
15 years 9 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...
172
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...