2694 search results - page 187 / 539 » A Description Logic of Change |
154
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— To save power consumption, it has been shown that the clock signal can be gated without changing the functionality under certain clock-gating conditions. We observe that the cl...
174
click to vote
EEMMAS
2007
Springer
16 years 22 days ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
204
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
197
click to vote
AIA
2006
15 years 8 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
163
click to vote
ISMVL
2007
IEEE
16 years 25 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...