Sciweavers

537 search results - page 5 / 108
» Extended directed triple systems
Sort
View
DAGM
2005
Springer
14 years 1 months ago
Goal-Directed Search with a Top-Down Modulated Computational Attention System
In this paper we present VOCUS: a robust computational attention system for goal-directed search. A standard bottom-up architecture is extended by a top-down component, enabling th...
Simone Frintrop, Gerriet Backer, Erich Rome
ICFP
1999
ACM
13 years 12 months ago
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
Atsushi Ohori, Nobuaki Yoshida
PRDC
2008
IEEE
14 years 2 months ago
VTV - A Voting Strategy for Real-Time Systems
Real-time applications typically have to satisfy high dependability requirements and require fault tolerance in both value and time domains. A widely used approach to ensure fault...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...
CLUSTER
2005
IEEE
14 years 1 months ago
Memory Management Support for Multi-Programmed Remote Direct Memory Access (RDMA) Systems
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
Kostas Magoutis
AOSE
2007
Springer
14 years 1 months ago
Extending Gaia with Agent Design and Iterative Development
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
Jorge Gonzalez-Palacios, Michael Luck