Sciweavers

2396 search results - page 102 / 480
» The LIFEdb database in 2006
Sort
View
PODS
2006
ACM
122views Database» more  PODS 2006»
15 years 10 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
DEXAW
2006
IEEE
151views Database» more  DEXAW 2006»
15 years 3 months ago
Avenues to Flexible Data Integrity Checking
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
Hendrik Decker, Davide Martinenghi
NAR
2000
122views more  NAR 2000»
14 years 9 months ago
ProDom and ProDom-CG: tools for protein domain analysis and whole genome comparisons
ProDom contains all protein domain families automatically generated from the SWISS-PROT and TrEMBL sequence databases (http://www.toulouse. inra.fr/prodom.html ). ProDom-CG result...
Florence Corpet, Florence Servant, Jér&ocir...
PRL
2002
104views more  PRL 2002»
14 years 9 months ago
Writer adaptation techniques in HMM based Off-Line Cursive Script Recognition
This work presents the application of HMM adaptation techniques to the problem of Off-Line Cursive Script Recognition. Rather than training a new model for each writer, one first ...
Alessandro Vinciarelli, Samy Bengio
RML
2002
99views Business» more  RML 2002»
14 years 9 months ago
A System for Querying and Viewing Business Constraints
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
Mizuho Iwaihara, Masayuki Kozawa, Jun Narazaki, Ya...