1916 search results - page 327 / 384 » Reasoning with class algebra |
ER
2003
Springer
14 years 2 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Computer vision algorithms for individual tasks such as object recognition, detection and segmentation have shown impressive results in the recent past. The next challeng...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
—Enhanced network services often involve allocating resources (bandwidth/buffer space) preferentially to packets belonging to certain flows or traffic classes. Such services ar...
ISCC
2002
IEEE
14 years 1 months ago
2002
IEEE
We believe that existing wire solutions such as HomePNA2.0 and HomePlug and wireless solution such as HomeRF are the most promising solutions, because of its cost-effectiveness. H...