7006 search results - page 1242 / 1402 » Approximation Algorithms |
164
Voted
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
136
click to vote
WAOA
2004
Springer
15 years 10 months ago
2004
Springer
A prevailing feature of mobile telephony systems is that the location of a mobile user may be unknown. Therefore, when the system has to establish a call between users, it may nee...
151
Voted
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
Cuneiform is the world’s oldest known writing system. Ancient scribes impressed reed styluses onto damp clay to write the approximately 900 different logographic, syllabic and t...
185
click to vote
AMFG
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we propose the concept of Manifold of Facial Expression based on the observation that images of a subject’s facial expressions define a smooth manifold in the hig...
175
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...