5232 search results - page 124 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
ADBIS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
98
Voted
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
127
click to vote
SIGDIAL
2010
14 years 8 months ago
2010
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
111
click to vote
TACAS
1997
Springer
15 years 5 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
CGF
2005
15 years 1 months ago
2005
The concept of tiled displays can be successful only if such displays are made to look like a single display perceptually. The two issues that need to be solved to achieve this go...