1128 search results - page 140 / 226 » Classical Natural Deduction |
134
click to vote
JSYML
2010
15 years 2 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
160
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
The creation of most models used in computer animation and computer games requires the assignment of texture coordinates, texture painting, and texture editing. We present a novel...
136
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
125
click to vote
TAL
2004
Springer
15 years 9 months ago
2004
Springer
Word fragments or n-grams have been widely used to perform different Natural Language Processing tasks such as information retrieval [1] [2], document categorization [3], automatic...
126
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
The study of 2D shapes is a central problem in the field of computer vision. In 2D shape analysis, classification and recognition of objects from their observed silhouette are e...