Sciweavers

292 search results - page 49 / 59
» Model-checking agent refinement
Sort
View
AAAI
2008
13 years 9 months ago
Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency
The objective of this paper is to study the existing methods for unsupervised object recognition and image categorization and propose a model that can learn directly from the outp...
Pooyan Fazli, Ara Bedrosian
AAAI
2010
13 years 8 months ago
Interactive Learning Using Manifold Geometry
We present an interactive learning method that enables a user to iteratively refine a regression model. The user examines the output of the model, visualized as the vertical axis ...
Eric Eaton, Gary Holness, Daniel McFarlane
AAAI
1998
13 years 8 months ago
An Algebra for Cyclic Ordering of 2D Orientations
Wedefine an algebra of ternary relations for cyclic ordering of 2Dorientations. Thealgebra (1) is a refinement of the CYCORDtheory; (2) contains 24 atomic relations, hence 224 gen...
Amar Isli, Anthony G. Cohn
ADC
2004
Springer
109views Database» more  ADC 2004»
13 years 11 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...
ATAL
2006
Springer
13 years 11 months ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch