2573 search results - page 392 / 515 » Combinations of Modal Logics |
129
click to vote
MLDM
2009
Springer
15 years 11 months ago
2009
Springer
A number of two-class classification methods first discretize each attribute of two given training sets and then construct a propositional DNF formula that evaluates to True for ...
163
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
136
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
132
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...