1419 search results - page 239 / 284 » Notes on Formalizing Context |
85
Voted
PR
2006
15 years 15 days ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
109
click to vote
SAC
2006
ACM
15 years 15 days ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
94
Voted
AIEDU
2005
15 years 15 days ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
TKDE
2008
15 years 15 days ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...
102
click to vote
TKDE
2008
15 years 15 days ago
2008
Searching for words on a watchlist is one way in which large-scale surveillance of communication can be done, for example, in intelligence and counterterrorism settings. One obviou...