Sciweavers

2171 search results - page 271 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
AAAI
1996
15 years 7 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher
AAAI
1990
15 years 7 months ago
A Hierarchical Planner that Generates Its Own Hierarchies
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
Jens Christensen
CAISE
2010
Springer
15 years 7 months ago
Supporting Semantic Search on Heterogeneous Semi-structured Documents
This paper presents SHIRI-Querying 3 , an approach for semantic search on semi-structured documents. We propose a solution to tackle incompleteness and imprecision of semantic anno...
Yassine Mrabet, Nacéra Bennacer, Nathalie P...
ACTAC
2008
145views more  ACTAC 2008»
15 years 6 months ago
Sentence Alignment of Hungarian-English Parallel Corpora Using a Hybrid Algorithm
We present an ecient hybrid method for aligning sentences with their translations in a parallel bilingual corpus. The new algorithm is composed of a length-based and anchor matchi...
Krisztina Tóth, Richárd Farkas, Andr...
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...