2540 search results - page 275 / 508 » Abstract Logics as Dialgebras |
112
Voted
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
123
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
95
Voted
TCAD
2008
15 years 21 days ago
2008
Abstract--The fabrication of crossbar memories with sublithographic features is expected to be feasible within several emerging technologies; in all of them, the nanowire (NW) deco...
119
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
127
Voted
DLOG
2003
15 years 2 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...