1076 search results - page 165 / 216 » Operations on proofs and labels |
198
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
180
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
166
click to vote
TFS
2011
15 years 19 days ago
2011
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
141
click to vote
INTERSPEECH
2010
15 years 15 days ago
2010
Information retrieval methods are frequently used for indexing and retrieving spoken documents, and more recently have been proposed for voice-search amongst a pre-defined set of ...
207
click to vote
NPAR
2010
ACM
15 years 10 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...