827 search results - page 112 / 166 » Proof-Theoretic Soundness and Completeness |
112
Voted
POPL
1992
ACM
15 years 4 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
113
click to vote
AAMAS
2008
Springer
15 years 26 days ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
93
Voted
APAL
2007
15 years 26 days ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
131
click to vote
CGF
2008
15 years 25 days ago
2008
Visual fidelity and interactivity are the main goals in Computer Graphics research, but recently also audio is assuming an important role. Binaural rendering can provide extremely...
99
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In most approaches to speech recognition, the speech signals are segmented using constant-time segmentation, for example into 25 ms blocks. Constant segmentation risks losing info...