Sciweavers

2586 search results - page 198 / 518
» Automatic Abstraction for Congruences
Sort
View
ICGI
2004
Springer
15 years 12 months ago
Learning Node Selecting Tree Transducer from Completely Annotated Examples
Abstract. A base problem in Web information extraction is to find appropriate queries for informative nodes in trees. We propose to learn queries for nodes in trees automatically ...
Julien Carme, Aurélien Lemay, Joachim Niehr...
INTELLCOMM
2004
Springer
15 years 12 months ago
Inferring Presence in a Context-Aware Instant Messaging System
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...
Mikko Perttunen, Jukka Riekki
WLP
2004
Springer
15 years 12 months 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
ICES
2003
Springer
151views Hardware» more  ICES 2003»
15 years 11 months ago
Using Genetic Programming and High Level Synthesis to Design Optimized Datapath
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
Sérgio G. Araújo, Antônio C. M...
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 11 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies