3482 search results - page 107 / 697 » In Praise of Numerical Computation |
CHI
2003
ACM
14 years 10 months ago
2003
ACM
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
CCS
2009
ACM
14 years 5 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
The usage of mobile devices like cell phones, navigation systems, or laptop computers, is limited by the lifetime of the included batteries. This lifetime depends naturally on the...
ICCSA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Given a simple n-sided polygon in the plane with a boundary partitioned into subchains some of which are convex and colored, we consider the following problem: Which is t...
HPDC
2002
IEEE
14 years 3 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...