Sciweavers

613 search results - page 93 / 123
» A New Perspective on Stable Models
Sort
View
ICCAD
1996
IEEE
151views Hardware» more  ICCAD 1996»
15 years 6 months ago
Expected current distributions for CMOS circuits
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
Dennis J. Ciplickas, Ronald A. Rohrer
NMELP
1994
15 years 6 months ago
Static Semantics as Program Transformation and Well-founded Computation
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
Stefania Costantini, Gaetano Aurelio Lanzarone
119
Voted
AAAI
2010
15 years 3 months ago
Adaptive Transfer Learning
Transfer learning aims at reusing the knowledge in some source tasks to improve the learning of a target task. Many transfer learning methods assume that the source tasks and the ...
Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung...
119
Voted
AI
2004
Springer
15 years 1 months ago
On the revision of preferences and rational inference processes
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
Michael Freund
SAGT
2010
Springer
191views Game Theory» more  SAGT 2010»
15 years 7 days ago
Complexity of Safe Strategic Voting
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
Noam Hazon, Edith Elkind