Sciweavers

4209 search results - page 344 / 842
» Abstract Dialectical Frameworks
Sort
View
SAMOS
2004
Springer
16 years 1 days ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
153
Voted
TAL
2004
Springer
16 years 1 days ago
Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
Gabriel G. Infante López, Maarten de Rijke
WLP
2004
Springer
16 years 19 hour ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
WLP
2004
Springer
16 years 19 hour ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
IRI
2003
IEEE
15 years 12 months ago
An Architectural Pattern For Adaptable Middleware Infrastructure
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...
Arturo Sanchez, Jason Mitchell