4762 search results - page 627 / 953 » About the use of protein models |
134
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
115
click to vote
WSDM
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a novel application of a statistical language model to opinionated document retrieval targeting weblogs (blogs). In particular, we explore the use of the trigg...
118
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
114
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
129
click to vote
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
Disaster-related research in human-centered computing has typically focused on the shorter-term, emergency period of a disaster event, whereas effects of some crises are longterm,...