2989 search results - page 257 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
182
click to vote
ISSE
2010
15 years 4 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
144
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a new method named text to visual synthesis with appearance models (TEVISAM) for generating videorealistic talking heads. In a first step, the system learns a ...
206
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
176
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
169
click to vote
ACL
1997
15 years 7 months ago
1997
Recent work has seen the emergence of a common framework for parsing categorial grammar (CG) formalisms that fall within the 'type-logical' tradition (such as the Lambek...