Sciweavers

1715 search results - page 309 / 343
» How Space Structures Language
Sort
View
ICCBR
2009
Springer
14 years 9 months ago
On Similarity Measures Based on a Refinement Lattice
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
Santiago Ontañón, Enric Plaza
WWW
2006
ACM
16 years 14 days ago
Bootstrapping semantics on the web: meaning elicitation from schemas
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini,...
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 8 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
EVOW
2010
Springer
15 years 6 months ago
Evolving 3D Buildings for the Prototype Video Game Subversion
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
Andrew Martin, Andrew Lim, Simon Colton, Cameron B...
IAT
2009
IEEE
15 years 6 months ago
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....