28445 search results - page 5499 / 5689 » Anatomically based modeling |
144
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
211
click to vote
NOCS
2008
IEEE
16 years 26 days ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
161
click to vote
NOMS
2008
IEEE
16 years 26 days ago
2008
IEEE
—Agent-based virtual private networks architecture (ABVA) refers to the environment where a third-party provider runs and administers remote access VPN service for organizations ...
169
click to vote
SRDS
2008
IEEE
16 years 26 days ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
190
click to vote
SSDBM
2008
IEEE
16 years 26 days ago
2008
IEEE
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...