3564 search results - page 622 / 713 » Evaluating a Formal Modelling Language |
PODS
2006
ACM
15 years 10 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
ACCV
2009
Springer
15 years 4 months ago
2009
Springer
The method based on local features has an advantage that the important local motion feature is represented as bag-of-features, but lacks the location information. Additionally, in ...
DEXAW
2007
IEEE
15 years 4 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
CP
2007
Springer
15 years 4 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...