Sciweavers

2448 search results - page 143 / 490
» The Octahedron Abstract Domain
Sort
View
IUI
1999
ACM
14 years 17 days ago
Multi-Agent Learning Approach to WWW Information Retrieval Using Neural Network
er has outlined the potential of multiagent framework for decision support. From an abstract point of view, the concept of an agent has been used as modularization principle for th...
Yong S. Choi, Suk I. Yoo
HPCN
1999
Springer
14 years 15 days ago
A Flexible Security System for Metacomputing Environments
Abstract. A metacomputing environment is a collection of geographically distributed resources (people, computers, devices, databases) connected by one or more high-speed networks, ...
Adam Ferrari, Frederick Knabe, Marty Humphrey, Ste...
EPS
1998
Springer
14 years 14 days ago
Evolving Heuristics for Planning
Abstract. In this paper we describe EvoCK, a new approach to the application of genetic programming (GP) to planning. This approach starts with a traditional AI planner (PRODIGY)an...
Ricardo Aler, Daniel Borrajo, Pedro Isasi
ISMIS
1997
Springer
14 years 12 days ago
Automating Spoken Dialogue Systems
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
Mona Singh, James Barnett, Munindar P. Singh
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
14 years 9 days ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...