Sciweavers

462 search results - page 79 / 93
» Symbolic Bounded Synthesis
Sort
View
129
Voted
PLDI
2010
ACM
15 years 7 months ago
Smooth interpretation
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
Swarat Chaudhuri, Armando Solar-Lezama
132
Voted
ISMAR
2002
IEEE
15 years 6 months ago
Exploring Humanistic Intelligence Through Physiologically Mediated Reality
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...
James Fung, Steve Mann
COMPUTER
2007
135views more  COMPUTER 2007»
15 years 1 months ago
A Language for Human Action
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 ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
CAS
2004
111views more  CAS 2004»
15 years 1 months ago
Network Analysis and Social Dynamics
? Network analysis, an area of mathematical sociology and anthropology crucial to the linking of theory and observation, developed dramatically in recent decades. These development...
Douglas White
PLDI
2009
ACM
15 years 8 months ago
Analyzing recursive programs using a fixed-point calculus
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 ...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...