2153 search results - page 159 / 431 » From Requirements Models to Formal Specifications in B |
ICCV
2007
IEEE
16 years 2 days ago
2007
IEEE
We present a framework for extracting image contours based on geometric and structural consistency among edge element locations and orientations. The paper presents two contributi...
COGSCI
2004
14 years 10 months ago
2004
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
COORDINATION
2007
Springer
15 years 4 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
ALT
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we introduce a paradigm for learning in the limit of potentially infinite languages from all positive data and negative counterexamples provided in response to the ...
ENTCS
2006
14 years 10 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...