3066 search results - page 228 / 614 » On Facilitating Automated Evaluation |
185
click to vote
VC
2010
15 years 5 months ago
2010
We propose a novel method to reconstruct B-spline surfaces from generalized cylindrical meshes by skinning. Skinning is a well known surface creation technique and has been used i...
211
click to vote
DLOG
2010
15 years 5 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
306
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
227
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
191
click to vote
DLOG
2009
15 years 4 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...