Sciweavers

974 search results - page 150 / 195
» A Lightweight Approach to Semantic Annotation of Research Pa...
Sort
View
SEMWEB
2010
Springer
14 years 9 months ago
An Expressive and Efficient Solution to the Service Selection Problem
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
Daniel Izquierdo, Maria-Esther Vidal, Blai Bonet
SAINT
2006
IEEE
15 years 5 months ago
Content Management for Inter-Organizational Projects Using E-Mail Metaphor
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...
Kosuke Nakatsuka, Toru Ishida
NLPRS
2001
Springer
15 years 4 months ago
Vietnamese Word Segmentation
Word segmentation is the first and obligatory task for every NLP. For inflectional languages like English, French, Dutch,.. their word boundaries are simply assumed to be whitespa...
Dinh Dien, Hoang Kiem, Nguyen Van Toan
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 1 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
ICDE
2010
IEEE
236views Database» more  ICDE 2010»
15 years 9 months ago
Explaining Structured Queries in Natural Language
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
Alkis Simitsis, Georgia Koutrika, Yannis E. Ioanni...