22114 search results - page 4181 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
179
click to vote
MM
2004
ACM
16 years 1 hour ago
2004
ACM
Combining retrieval results from multiple modalities plays a crucial role for video retrieval systems, especially for automatic video retrieval systems without any user feedback a...
175
click to vote
MOBICOM
2004
ACM
16 years 43 min ago
2004
ACM
Development in Wireless LAN and Cellular technologies has motivated recent efforts to integrate the two. This creates new application scenarios that were not possible before. Veh...
174
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...
173
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
177
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...