Sciweavers

27119 search results - page 4985 / 5424
» Languages
Sort
View
JSW
2006
71views more  JSW 2006»
15 years 6 months ago
Semantics and Extensions of WS-Agreement
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
Ganna Frankova, Daniela Malfatti, Marco Aiello
JUCS
2006
113views more  JUCS 2006»
15 years 6 months ago
A Collaborative Biomedical Research System
: The convergence of need between improved clinical care and post genomics research presents a unique challenge to restructuring information flow so that it benefits both without c...
Adel Taweel, Alan L. Rector, Jeremy Rogers
JUCS
2006
104views more  JUCS 2006»
15 years 6 months ago
Introducing the ITP Tool: a Tutorial
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
Manuel Clavel, Miguel Palomino, Adrián Ries...
KAIS
2006
121views more  KAIS 2006»
15 years 6 months ago
TEG-a hybrid approach to information extraction
Abstract This paper describes a hybrid statistical and knowledge-based inforQ1 mation extraction model, able to extract entities and relations at the sentence level. The model atte...
Ronen Feldman, Binyamin Rosenfeld, Moshe Fresko
KES
2006
Springer
15 years 6 months ago
Integrated Document Browsing and Data Acquisition for Building Large Ontologies
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
Felix Weigel, Klaus U. Schulz, Levin Brunner, Edua...
« Prev « First page 4985 / 5424 Last » Next »