3591 search results - page 571 / 719 » Typing linear constraints |
131
click to vote
VISUALIZATION
1993
IEEE
15 years 10 months ago
1993
IEEE
Fast techniques for direct volume rendering over curvilinear grids of hexahedral cells are developed. This type of 3D grid is common in computational uid dynamics and nite element...
109
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
The Switched-Current SI technique is a circuit method that enables analog sampled-data circuits to be realized with a standard digital CMOS process. At this time it is fair to say...
141
Voted
KR
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
159
click to vote
ICALP
1990
Springer
15 years 9 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
135
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
This paper studies the implementation of Boolean functions with lattices of two-dimensional switches. Each switch is controlled by a Boolean literal. If the literal is 1, the swit...