Sciweavers

1155 search results - page 169 / 231
» Elaborating Domain Descriptions
Sort
View
PLPV
2010
ACM
14 years 6 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
ATAL
2009
Springer
14 years 3 months ago
MABLE: a framework for learning from natural instruction
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran ...
ISMIS
2009
Springer
14 years 3 months ago
Relational Sequence Clustering for Aggregating Similar Agents
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
Grazia Bombini, Nicola Di Mauro, Stefano Ferilli, ...
MATES
2009
Springer
14 years 3 months ago
Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems
Abstract. Taxonomies in the area of Multi-Agent Systems (MAS) classify problems according to the underlying principles and assumptions of the agents’ abilities, rationality and i...
Christian Guttmann
SMA
2009
ACM
130views Solid Modeling» more  SMA 2009»
14 years 3 months ago
A symbolic-numerical envelope algorithm using quadratic MOS patches
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
Bohumír Bastl, Jirí Kosinka, Mirosla...