1128 search results - page 200 / 226 » Classical Natural Deduction |
165
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
184
click to vote
FOCS
2007
IEEE
16 years 14 days ago
2007
IEEE
We consider a variant of the classic multi-armed bandit problem (MAB), which we call FEEDBACK MAB, where the reward obtained by playing each of n independent arms varies according...
140
Voted
ICCCN
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract—The current system design of mobile ad hoc networks (MANET), derived from their traditional fixed counterparts, cannot fully meet the requirements inherent to the dynam...
204
Voted
ICTAI
2007
IEEE
16 years 13 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
145
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...