2972 search results - page 463 / 595 » Representing the Knowledge of a Robot |
232
Voted
KNINVI
2005
Springer
16 years 15 days ago
2005
Springer
The timeworn claim that a picture is worth a thousand words is generally well-supported by empirical evidence, suggesting that diagrams and other information graphics can enhance h...
182
click to vote
MDAI
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
190
Voted
PCM
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Automatic liver segmentation from abdominal computed tomography (CT) images is one of the most important steps for computeraided diagnosis (CAD) for liver CT. However, th...
191
click to vote
SEKE
2005
Springer
16 years 15 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
167
click to vote
SIGADA
2005
Springer
16 years 15 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...