Sciweavers

206 search results - page 14 / 42
» Weak Alternating Automata Are Not That Weak
Sort
View
AMAI
2006
Springer
14 years 12 months ago
On a rule-based interpretation of default conditionals
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
James P. Delgrande
ICLP
2007
Springer
15 years 6 months ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman
ETFA
2006
IEEE
15 years 5 months ago
Design Alternatives in the IEC 61499 Function Block Model
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
Kleanthis Thramboulidis
INFOCOM
2006
IEEE
15 years 5 months ago
A Comparative Study of the DNS Design with DHT-Based Alternatives
— The current Domain Name System (DNS) follows a hierarchical tree structure. Several recent efforts proposed to re-implement DNS as a peer-to-peer network with a flat structure...
Vasileios Pappas, Daniel Massey, Andreas Terzis, L...
COLT
1999
Springer
15 years 4 months ago
Boosting as Entropy Projection
We consider the AdaBoost procedure for boosting weak learners. In AdaBoost, a key step is choosing a new distribution on the training examples based on the old distribution and th...
Jyrki Kivinen, Manfred K. Warmuth