7978 search results - page 1271 / 1596 » Representation before computation |
170
click to vote
PPOPP
2003
ACM
16 years 4 hour ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
197
click to vote
SASN
2003
ACM
16 years 3 hour ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
171
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
225
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
197
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...