9532 search results - page 310 / 1907 » Logic, Graphs, and Algorithms |
163
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
180
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
154
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...
189
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...