Sciweavers

780 search results - page 119 / 156
» software 2011
Sort
View
SIGMOD
2011
ACM
170views Database» more  SIGMOD 2011»
14 years 11 days ago
Querying contract databases based on temporal behavior
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
Elio Damaggio, Alin Deutsch, Dayou Zhou
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 11 days 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
13 years 9 months ago
Detailed Reconstruction of 3D Plant Root Shape
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
Ying Zheng, Steve Gu, Herbert Edelsbrunner, Carlo ...
AMAI
2011
Springer
13 years 9 months ago
Similarity measures in formal concept analysis
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
Faris Alqadah, Raj Bhatnagar
ATAL
2011
Springer
13 years 9 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh