3646 search results - page 271 / 730 » Voice search for development |
173
click to vote
MTSR
2007
Springer
16 years 26 days ago
2007
Springer
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
197
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
16 years 2 hour ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
172
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This talk will review the progress and the evolution of the development of range sensing techniques at the NRC laboratories. Essentially a 3 0 imaging project at the beginning, it...
174
click to vote
CADE
1997
Springer
15 years 11 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
175
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...