Sciweavers

2448 search results - page 143 / 490
» The Octahedron Abstract Domain
Sort
View
101
Voted
IUI
1999
ACM
15 years 5 months 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
101
Voted
HPCN
1999
Springer
15 years 5 months 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...
104
Voted
EPS
1998
Springer
15 years 5 months 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
112
Voted
ISMIS
1997
Springer
15 years 5 months 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
82
Voted
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
15 years 5 months 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...