3515 search results - page 159 / 703 » On the semantics of Strategy Logic |
173
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...
228
click to vote
ASP
2005
Springer
16 years 23 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
187
click to vote
ISQED
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper proposes a new clocking strategy for dynamic circuit. It provides faster performance and smaller area than conventional clocking scheme. The proposed clocking scheme fo...
168
click to vote
JAPLL
2008
15 years 7 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
162
click to vote
SEMWEB
2004
Springer
16 years 17 days ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...