1689 search results - page 2 / 338 » On Natural Non-dcpo Domains |
114
click to vote
FLAIRS
2009
14 years 7 months ago
2009
Scientists typically need to take a large volume of information into account in order to deal with re-occurring tasks such as inspecting proceedings, finding related work, or revi...
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
The present work investigates the problem of determining a learning path inside a suitable domain ontology. The proposed approach enables the user of a web learning application to ...
80
Voted
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
71
Voted
ENTCS
2007
14 years 9 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
SAMT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...