755 search results - page 114 / 151 » ideas 2005 |
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
RE
2005
Springer
15 years 3 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
SCIA
2005
Springer
15 years 3 months ago
2005
Springer
A traditional solution of area-based stereo uses some kind of windowed pixel intensity correlation. This approach suffers from discretization artifacts which corrupt the correlat...
SCIA
2005
Springer
15 years 3 months ago
2005
Springer
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
88
Voted
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Ontology alignment is a prerequisite in order to allow for interoperation between different ontologies and many alignment strategies have been proposed to facilitate the ...