FLAIRS
2000
13 years 9 months ago
2000
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
FLAIRS
2000
13 years 9 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
FLAIRS
2000
13 years 9 months ago
2000
The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...
FLAIRS
2000
13 years 9 months ago
2000
Autonomy is a quality for devices and creatures that perform tasks with relative independence from their designers and sources of authority. We discuss the idea and present two ca...
FLAIRS
2000
13 years 9 months ago
2000
A robotic agent must coordinate its coupled concurrent behaviors to produce a coherent response to stimuli. Reinforcement learning has been used extensively in coordinating sensin...
FLAIRS
2000
13 years 9 months ago
2000
FLAIRS
2000
13 years 9 months ago
2000
This paper describes a knowledge-based methodologyof miningtextual answersinto large collections of texts. Wepresent SOMBRERO,a knowledge processing module implemented in the LASS...
FLAIRS
2000
13 years 9 months ago
2000
The design of an optimal Bayesian classifier for multiple features is dependent on the estimation of multidimensional joint probability density functions and therefore requires a ...
FLAIRS
2000
13 years 9 months ago
2000
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
FLAIRS
2000
13 years 9 months ago
2000
