8838 search results - page 306 / 1768 » Generalizing Domain Theory |
179
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
208
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The recently presented recursive least squares dictionary learning algorithm (RLS-DLA) is tested in a general image compression application. Dictionaries are learned in the pixel ...
170
click to vote
IEEEICCI
2005
IEEE
16 years 9 days ago
2005
IEEE
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
172
click to vote
IJCAI
2003
15 years 8 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
112
click to vote
ACL
2000
15 years 8 months ago
2000
In this paper, we outline a theory of referential accessibility called Veins Theory (VT). We show how VT addresses the problem of "left satellites", currently a problem ...