1263 search results - page 123 / 253 » A Vision on a New Generation of Software Design Environments |
212
click to vote
ALPIT
2008
IEEE
16 years 28 days ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
133
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
172
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
163
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a new algorithm for multi-view reconstruction that demonstrates both accuracy and efficiency. Our method is based on robust binocular stereo matching, followed...
159
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This work is about scene interpretation in the sense of detecting and localizing instances from multiple object classes. We concentrate on object indexing: generate an over-comple...