Sciweavers

1159 search results - page 39 / 232
» On The Next Move in Programming
Sort
View
DALT
2008
Springer
15 years 2 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk
103
Voted
JISE
2006
85views more  JISE 2006»
15 years 12 days ago
A Programming Methodology for Designing Block Recursive Algorithms
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung, ...
105
Voted
CVPR
2000
IEEE
16 years 2 months ago
Improved Motion Stereo Matching Based on a Modified Dynamic Programming
A new method for computing precise depth map estimates of 3D shape of a moving object is proposed. 3D shape recovery in motion stereo is formulated as a matching optimization prob...
Mikhail Mozerov, Vitaly Kober, Tae-Sun Choi
90
Voted
IAT
2006
IEEE
15 years 6 months ago
Towards High-Level Programming for Distributed Problem Solving
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
Ryan F. Kelly, Adrian R. Pearce
106
Voted
SEAL
1998
Springer
15 years 4 months ago
Evolutionary Programming-Based Uni-vector Field Method for Fast Mobile Robot Navigation
Most of the obstacle avoidance techniques do not consider the robot orientation or its nal angle at the target position. These techniques deal with the robot position only and are ...
Yong-Jae Kim, Dong-Han Kim, Jong-Hwan Kim