2450 search results - page 212 / 490 » On Application of Structural Decomposition for Process Model... |
167
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Child language acquisition, one of Nature’s most fascinating phenomena, is to a large extent still a puzzle. Experimental evidence seems to support the view that early ...
209
Voted
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- We describe a method to completely automatically recover 3D scene structure together with a camera for each frame from a sequence of images acquired by an unknown camera...
172
click to vote
SERVICES
2010
15 years 8 months ago
2010
Abstract--Exchanging structured business documents is inevitable for successful collaboration in electronic commerce. A prerequisite, for fostering the interoperability between bus...
218
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
220
click to vote
KBSE
2005
IEEE
16 years 21 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...