3745 search results - page 195 / 749 » Sonic: System Description |
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
180
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
192
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
195
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
162
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...