Sciweavers

939 search results - page 155 / 188
» Semantic Abstraction and Quantum Computation
Sort
View
DEBS
2007
ACM
14 years 1 months ago
Towards a common API for publish/subscribe
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
Peter R. Pietzuch, David M. Eyers, Samuel Kounev, ...
SOFSEM
2000
Springer
14 years 1 months ago
Towards High Speed Grammar Induction on Large Text Corpora
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
Pieter W. Adriaans, Marten Trautwein, Marco Vervoo...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 1 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
COORDINATION
2009
Springer
14 years 1 months ago
From Coordination to Stochastic Models of QoS
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Me...
EUSFLAT
2007
13 years 11 months ago
Using Generalized Constraints and Protoforms to Deal with Adverbs
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
Andrés Soto, José Angel Olivas, Manu...