Sciweavers

1593 search results - page 45 / 319
» A visual programming system for automated problem solving
Sort
View
142
Voted
ICLP
2010
Springer
15 years 7 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
118
Voted
EMSOFT
2006
Springer
15 years 7 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
ICMCS
2005
IEEE
136views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Soft Region Correspondence Estimation for Graph-Theoretic Image Retrieval Using Quadratic Programming Approach
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
Chuech-Yu Li, Chiou-Ting Hsu
119
Voted
IEEEVAST
2010
14 years 10 months ago
A continuous analysis process between desktop and collaborative visual analytics environments
Since its inception, the field of visual analytics has undergone tremendous growth in understanding how to create interactive visual tools to solve analytical problems. However, w...
Dong Hyun Jeong, Evan A. Suma, Thomas Butkiewicz, ...
145
Voted
AAAI
2000
15 years 4 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl