Sciweavers

7047 search results - page 230 / 1410
» Focusing on Binding and Computation
Sort
View
SIGCSE
2009
ACM
135views Education» more  SIGCSE 2009»
16 years 7 months ago
Methodology for successful undergraduate recruiting in computer science at comprehensive public universities
This paper presents a methodology for increasing undergraduate Computer Science (CS) major enrollment at comprehensive public universities, particularly those that have first gene...
Patricia Morreale, Stan Kurkovsky, George Chang
ICSE
2004
IEEE-ACM
16 years 6 months ago
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
ACSAC
2007
IEEE
16 years 27 days ago
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting
Special purpose trusted computing devices are currently being deployed to offer many services for which the general purpose computing paradigm is unsuitable. The nature of the ser...
Aggelos Kiayias, Laurent Michel, Alexander Russell...
SIGECOM
2004
ACM
120views ECommerce» more  SIGECOM 2004»
15 years 12 months ago
Computational criticisms of the revelation principle
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...
Vincent Conitzer, Tuomas Sandholm
DAGM
2003
Springer
15 years 11 months ago
A Computational Model of Early Auditory-Visual Integration
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
Carsten Schauer, Horst-Michael Gross