1026 search results - page 139 / 206 » A Methodology for Equational Reasoning |
154
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
163
click to vote
GIS
2009
ACM
15 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...
172
click to vote
EWCBR
2006
Springer
15 years 9 months ago
2006
Springer
Feature selection algorithms can reduce the high dimensionality of textual cases and increase case-based task performance. However, conventional algorithms (e.g., information gain)...
144
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
171
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Taxonomic case-based reasoning is a conversational casebased reasoning methodology that employs feature subsumption taxonomies for incremental case retrieval. Although this approa...