42 search results - page 3 / 9 » Automated Assume-Guarantee Reasoning through Implicit Learni... |
EWCBR
2004
Springer
13 years 10 months ago
2004
Springer
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...
GIS
2009
ACM
13 years 9 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Following and understanding discussions on mailing lists is a prevalent task for executives and policy makers in order to get an impression of one’s company image. However, exist...
FLAIRS
2004
13 years 6 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
ILP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...