462 search results - page 79 / 93 » Symbolic Bounded Synthesis |
129
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
132
Voted
ISMAR
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a way of making the wearing of a lifelong electrocardiographic health monitor fun for a user. The health monitor is coupled with a reality mediator device to create a P...
132
click to vote
COMPUTER
2007
15 years 1 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
116
click to vote
CAS
2004
15 years 1 months ago
2004
? Network analysis, an area of mathematical sociology and anthropology crucial to the linking of theory and observation, developed dramatically in recent decades. These development...
128
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...