2517 search results - page 295 / 504 » Specifying Weak Sets |
172
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
We present a method which, given a few words defining a concept in some language, retrieves, disambiguates and extends corresponding terms that define a similar concept in another...
288
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
263
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
163
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
164
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The IEEE 802.15.4 standard defines a set of procedures to set-up a Low-Rate Wireless Personal Area Network where nodes self-organize into a logical communication structure through ...