Sciweavers

1829 search results - page 309 / 366
» Towards Validation of Requirements Models
Sort
View
253
Voted
ICDE
2008
IEEE
218views Database» more  ICDE 2008»
16 years 6 months ago
AxPRE Summaries: Exploring the (Semi-)Structure of XML Web Collections
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
Mariano P. Consens, Flavio Rizzolo, Alejandro A. V...
139
Voted
ICPR
2008
IEEE
16 years 5 months ago
Generic scale-space process for handwriting documents analysis
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
Guillaume Joutel, Hubert Emptoz, Véronique ...
156
Voted
MICCAI
2007
Springer
16 years 5 months ago
Simulation and Fully Automatic Multimodal Registration of Medical Ultrasound
The fusion of 3D freehand ultrasound with CT and CTA has benefits for a variety of clinical applications, however a lot of manual work is usually required for correct registration....
Wolfgang Wein, Ali Khamene, Dirk-André Clev...
117
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
VLDB
2008
ACM
140views Database» more  VLDB 2008»
16 years 4 months ago
Efficient temporal counting with bounded error
This paper studies aggregate search in transaction time databases. Specifically, each object in such a database can be modeled as a horizontal segment, whose y-projection is its s...
Yufei Tao, Xiaokui Xiao