Sciweavers

1063 search results - page 51 / 213
» Order and Negation as Failure
Sort
View
102
Voted
ASPDAC
2009
ACM
117views Hardware» more  ASPDAC 2009»
15 years 7 months ago
Adaptive techniques for overcoming performance degradation due to aging in digital circuits
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a major reliability concern in present-day digital circuit design. Further, with the recent usage of...
Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatneka...
120
Voted
ASP
2003
Springer
15 years 6 months ago
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
Martin Brain, Marina De Vos
ECEASST
2008
106views more  ECEASST 2008»
15 years 26 days ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan
97
Voted
MP
2008
103views more  MP 2008»
15 years 22 days ago
Aggregation and discretization in multistage stochastic programming
Multistage stochastic programs have applications in many areas and support policy makers in finding rational decisions that hedge against unforeseen negative events. In order to en...
Daniel Kuhn
85
Voted
AIEDU
2005
83views more  AIEDU 2005»
15 years 21 days ago
A Simulated Student Can Improve Collaborative Learning
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
Aurora Vizcaíno