Sciweavers

6829 search results - page 279 / 1366
» Quantitative Generalizations of Languages
Sort
View
ATAL
2010
Springer
15 years 7 months ago
An evaluation tool for multiagent development techniques
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...
Emilia Garcia, Adriana Giret, Vicente J. Botti
CADE
2010
Springer
15 years 7 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
ASSETS
2010
ACM
15 years 6 months ago
Blind guidance using mobile computer vision: a usability study
We present a study focusing on the usability of a wayfinding and localization system for persons with visual impairment. This system uses special color markers, placed at key loca...
Roberto Manduchi, Sri Kurniawan, Homayoun Bagherin...
ALIFE
2008
15 years 6 months ago
Hierarchical Self-Organization in the Finitary Process Soup
Current analyses of genomes from numerous species show that the diversity of organism's functional and behavioral characters is not proportional to the number of genes that e...
Olof Görnerup, James P. Crutchfield
AMAI
2007
Springer
15 years 6 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe