3108 search results - page 209 / 622 » The Elements of Computer Credibility |
165
click to vote
ISAAC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
155
click to vote
ITICSE
2005
ACM
16 years 3 days ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
165
click to vote
EUROPAR
2005
Springer
16 years 2 days ago
2005
Springer
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
161
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
162
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
Many Vision-Based Human-Computer Interaction (VB-HCI) systems are based on the tracking of user actions. Examples include gazetracking, head-tracking, finger-tracking, and so fort...