422 search results - page 52 / 85 » On Modal Refinement and Consistency |
166
click to vote
AIPR
2008
IEEE
15 years 10 months ago
2008
IEEE
—Real time moving target tracking and identification with hyperspectral imagery is still very challenging with conventional sensors and algorithms. The increased information cont...
140
click to vote
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Since the inception of service-oriented computing paradigm, we have witnessed a plethora of services deployed across a broad spectrum of applications, ranging from conventional RP...
137
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper consists of a review of contemporary that map and materialize abstract data as physical artifacts. With computing technology and the access of information influencing e...
140
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test set...
172
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...