1087 search results - page 15 / 218 » Eta-Redexes in Partial Evaluation |
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
CVPR
2006
IEEE
14 years 3 months ago
2006
IEEE
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Shape matching has many applications in computer vision, such as shape classification, object recognition, object detection, and localization. In 2D cases, shape instances are 2D c...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— Knowing the positions of the nodes in a network is essential to many next generation pervasive and sensor network functionalities. Although many network localization systems ha...
WOA
2010
13 years 7 months ago
2010
This paper presents an experimental evaluation of the methodology documentation template proposed by the IEEE FIPA Design Process Documentation and Fragmentation working group [1]....