Sciweavers

2478 search results - page 129 / 496
» Quadtrees as an Abstract Domain
Sort
View
HPCN
1999
Springer
14 years 14 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 12 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 10 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 diļ¬€erent conversatio...
Mona Singh, James Barnett, Munindar P. Singh
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
14 years 8 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...
IICS
2010
Springer
14 years 2 days ago
Rearchitecting DNS
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The deļ¬...
Gert Pfeifer, Christof Fetzer, Martin Steuer