1955 search results - page 24 / 391 » Can Computers Handle Adverbs |
227
Voted
ICDE
2001
IEEE
16 years 5 months ago
2001
IEEE
Many scientific disciplines are shifting from in vitro to in silico research as more physical processes and natural phenomena are examined in a computer (in silico) instead of bei...
117
Voted
AH
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
113
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
145
Voted
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
129
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...