455 search results - page 78 / 91 » Understanding Counterexamples with explain |
78
Voted
AI
2010
Springer
14 years 11 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
110
click to vote
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
145
click to vote
Publication
Transportation specialists, urban planners, and public health officials have
been steadfast in encouraging active modes of transportation over the past decades.
Conventional thin...
97
Voted
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
We analyze the least?squares error for structure from motion with a single infinitesimal motion ("structure from optical flow"). We present asymptotic approximations to ...
105
click to vote
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...