5550 search results - page 653 / 1110 » Different Approaches to Proof Systems |
231
click to vote
ASWSD
2006
Springer
15 years 11 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
191
click to vote
HCI
2007
15 years 8 months ago
2007
Agile Software Engineering approaches gain more and more popularity in today’s development organizations. The need for usable products is also a growing factor for organizations....
146
click to vote
NAACL
2007
15 years 8 months ago
2007
We present a sentence compression system based on synchronous context-free grammars (SCFG), following the successful noisy-channel approach of (Knight and Marcu, 2000). We define...
184
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper addresses the problem of outdoor terrain modeling for the purposes of mobile robot navigation. We propose an approach in which a robot acquires a set of terrain models ...
179
click to vote
ECIS
2003
15 years 8 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...