3856 search results - page 535 / 772 » Models for Automated Earthmoving |
144
click to vote
TIME
2005
IEEE
16 years 5 days ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
153
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
194
click to vote
AISADM
2005
Springer
16 years 4 days ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
193
click to vote
ASP
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
174
click to vote
CCIA
2005
Springer
16 years 4 days ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...