1057 search results - page 79 / 212 » Testing from Formal Specifications, a Generic Approach |
145
Voted
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
183
click to vote
KI
2006
Springer
15 years 3 months ago
2006
Springer
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
129
click to vote
MAM
2006
15 years 3 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
153
Voted
COMCOM
2007
15 years 3 months ago
2007
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
137
click to vote
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...