2432 search results - page 449 / 487 » Cryptographic logical relations |
143
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
170
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
146
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
123
click to vote
HCI
2009
15 years 1 months ago
2009
In 3D virtual environments (3DVE), we need to know what an object looks like (i.e. geometric information) and what the object is, what are its properties and characteristics and ho...
153
click to vote
ICUMT
2009
15 years 1 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...