Sciweavers

930 search results - page 150 / 186
» Advanced Engineering Informatics
Sort
View
ICWE
2011
Springer
13 years 4 days ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
12 years 11 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
ICCV
2011
IEEE
12 years 8 months ago
End-to-end Scene Text Recognition
This paper focuses on the problem of word detection and recognition in natural images. The problem is significantly more challenging than reading text in scanned documents, and h...
Kai Wang, Boris Babenko, Serge Belongie
DAC
2011
ACM
12 years 8 months ago
Single-molecule electronic detection using nanoscale field-effect devices
Traditionally, biomolecular systems have been studied in ensemble. While much can be determined with ensemble measurements, scientific and technological interest is rapidly moving...
Sebastian Sorgenfrei, Kenneth L. Shepard
ICDE
2009
IEEE
183views Database» more  ICDE 2009»
14 years 10 months ago
Efficient Indices Using Graph Partitioning in RDF Triple Stores
With the advance of the Semantic Web, varying RDF data were increasingly generated, published, queried, and reused via the Web. For example, the DBpedia, a community effort to extr...
Ying Yan, Chen Wang, Aoying Zhou, Weining Qian, Li...