Sciweavers

2245 search results - page 208 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
SRDS
1998
IEEE
15 years 10 months ago
Practical Parallel Algorithms for Minimum Spanning Trees
We study parallel algorithms for computing the minimum spanning tree of a weighted undirected graph G with n vertices and m edges. We consider an input graph G with m=n p, where p...
Frank K. H. A. Dehne, Silvia Götz
FLAIRS
2006
15 years 7 months ago
Conservative and Creative Strategies for the Refinement of Scoring Rules
In knowledge engineering research the refinement of manually developed intelligent systems is still one of the key issues. Since scoring rules are an intuitive and easy to impleme...
Joachim Baumeister, Martin Atzmüller, Peter K...
136
Voted
CLIN
2003
15 years 7 months ago
Interrupting Constructions in a Rejuvenated Amazon Grammar
This paper reports on the latest rejuvenation of AMAZON, a structuralist parser for Dutch written sentences. Unlike older versions, the new AMAZON parser has been developed in a m...
Carla Schelfhout, Peter-Arno Coppen
PTS
2003
127views Hardware» more  PTS 2003»
15 years 7 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
KI
2006
Springer
15 years 6 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...