3228 search results - page 252 / 646 » Computationally Sound Proofs |
121
click to vote
HOTOS
1997
IEEE
15 years 9 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
143
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
137
click to vote
JCB
2008
15 years 4 months ago
2008
Liquid chromatography coupled to mass spectrometry (LC-MS) has become a major tool for the study of biological processes. High-throughput LC-MS experiments are frequently conducte...
176
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
155
click to vote
SBBD
2004
15 years 6 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...