3233 search results - page 608 / 647 » Rule Modeling and Markup |
142
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
147
click to vote
CONNECTION
2006
15 years 2 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
115
click to vote
IJCV
2008
15 years 1 months ago
2008
Object identification (OID) is specialized recognition where the category is known (e.g. cars) and the algorithm recognizes an object's exact identity (e.g. Bob's BMW). ...
116
click to vote
CONSTRAINTS
2007
15 years 1 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
113
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...