Sciweavers

1912 search results - page 322 / 383
» GOAL as a Planning Formalism
Sort
View
CPM
2001
Springer
111views Combinatorics» more  CPM 2001»
15 years 10 months ago
Multiple Pattern Matching Algorithms on Collage System
Abstract. Compressed pattern matching is one of the most active topics in string matching. The goal is to find all occurrences of a pattern in a compressed text without decompress...
Takuya Kida, Tetsuya Matsumoto, Masayuki Takeda, A...
MMMACNS
2001
Springer
15 years 10 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
SEKE
2001
Springer
15 years 10 months ago
Ontology-Related Services in Agent-Based Distributed Information Infrastructures
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
Ludger van Elst, Andreas Abecker
HPCA
2000
IEEE
15 years 10 months ago
Design of a Parallel Vector Access Unit for SDRAM Memory Systems
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
Binu K. Mathew, Sally A. McKee, John B. Carter, Al...
DSRT
1999
IEEE
15 years 10 months ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro