10284 search results - page 477 / 2057 » Designing for nomadic work |
149
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
183
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
162
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
We have, with our students, engaged in cross-disciplinary research in design. We describe parameters and principles that we have found helpful in organizing and conducting this ki...
203
Voted
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
195
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...