Sciweavers

1798 search results - page 12 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 1 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
MST
2010
101views more  MST 2010»
13 years 6 months ago
Automatic Presentations and Semigroup Constructions
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Ric...
ACL
2001
13 years 9 months ago
Generating with a Grammar Based on Tree Descriptions: a Constraint-Based Approach
While the generative view of language processing builds bigger units out of smaller ones by means of rewriting steps, the axiomatic view eliminates invalid linguistic structures o...
Claire Gardent, Stefan Thater
GG
2004
Springer
14 years 1 months ago
Constraints and Application Conditions: From Graphs to High-Level Structures
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...
Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl...
ECCV
2006
Springer
13 years 11 months ago
Recursive Structure from Motion Using Hybrid Matching Constraints with Error Feedback
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
Fredrik Nyberg, Anders Heyden