Sciweavers

280 search results - page 19 / 56
» Constraint Systems for Pattern Analysis of Constraint Logic-...
Sort
View
VC
2010
165views more  VC 2010»
14 years 10 months ago
Generating animation from natural language texts and semantic analysis for motion search and scheduling
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...
Masaki Oshita
FDL
2008
IEEE
15 years 6 months ago
Contradiction Analysis for Constraint-based Random Simulation
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
Daniel Große, Robert Wille, Robert Siegmund,...
FTEDA
2006
113views more  FTEDA 2006»
14 years 11 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
ICSM
2003
IEEE
15 years 5 months ago
Software Architecture Recovery based on Pattern Matching
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
Kamran Sartipi
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
15 years 1 months ago
Knowledge-Level Querying of Temporal Patterns in Clinical Research Systems
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
Martin J. O'Connor, Ravi D. Shankar, David B. Parr...