3166 search results - page 282 / 634 » Translation By Structural Correspondences |
177
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
178
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
141
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
200
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper presents a new hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cam...
164
click to vote
MMM
2006
Springer
16 years 22 days ago
2006
Springer
Accessing specific or salient parts of multimedia recordings remains a challenge as there is no obvious way of structuring and representing a mix of space-based and timebased med...