12670 search results - page 279 / 2534 » Requirements Modeling |
197
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
149
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
144
click to vote
RSS
2007
15 years 8 months ago
2007
— Three-dimensional digital terrain models are of fundamental importance in many areas such as the geo-sciences and outdoor robotics. Accurate modeling requires the ability to de...
161
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
In a recent paper we have presented a method for image-based navigation by which a robot can navigate to desired positions and orientations in 3-0 space specified by single images...
202
click to vote
NAACL
1994
15 years 8 months ago
1994
The key problem to be faced when building a HMM-based continuous speech recogniser is maintaining the balance between model complexity and available training data. For large vocab...