Sciweavers

2189 search results - page 167 / 438
» Webbed documents
Sort
View
AISC
2010
Springer
14 years 3 months ago
Dimensions of Formality: A Case Study for MKM in Software Engineering
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
WEBI
2007
Springer
14 years 4 months ago
Towards a Media Interpretation Framework for the Semantic Web
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...
Irma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Me...
DAS
2010
Springer
14 years 3 months ago
Document analysis issues in reading optical scan ballots
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
Daniel P. Lopresti, George Nagy, Elisa H. Barney S...
WSDM
2010
ACM
259views Data Mining» more  WSDM 2010»
14 years 8 months ago
Revisiting Globally Sorted Indexes for Efficient Document Retrieval
There has been a large amount of research on efficient document retrieval in both IR and web search areas. One important technique to improve retrieval efficiency is early termina...
Fan Zhang, Shuming Shi, Hao Yan, Ji-Rong Wen
COORDINATION
2006
Springer
14 years 2 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...