1548 search results - page 197 / 310 » Computational Approaches to Sentence Completion |
ICEIS
2008
IEEE
14 years 3 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...
VLDB
2007
ACM
14 years 3 months ago
2007
ACM
An increasing number of enterprises outsource their IT services to third parties who can offer these services for a much lower cost due to economy of scale. Quality of service is ...