1005 search results - page 99 / 201 » Software Localization: Issues and Methods |
114
Voted
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
105
click to vote
AAAI
1997
15 years 4 months ago
1997
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...
138
Voted
IJVR
2007
15 years 2 months ago
2007
—One of the biggest obstacles for constructing effective sociable virtual humans lies in the failure of machines to recognize the desires, feelings and intentions of the human us...
117
Voted
IJRR
2000
15 years 2 months ago
2000
This paper prescribes an incremental procedure to construct roadmaps of unknown environments. Recall that a roadmap is a geometric structure that a robot uses to plan a path betwe...
121
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...