667 search results - page 97 / 134 » On Various Negative Translations |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
167
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
ICIAP
2003
ACM
15 years 9 months ago
2003
ACM
Inspired by the abilities of the praying mantis to judge distance to its prey before the strike by use of motionbased visually mediated odometry, we create miniature model for dep...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Today most home networks are connected to the Internet via Network Address Translation (NAT) devices. NAT is an obstacle for services that should be accessible from the public I...