2365 search results - page 201 / 473 » All things are connected |
144
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper outlines a method to dynamically replace portals with textures in a cell-partitioned model. The rendering complexity is reduced to the geometry of the current cell thus...
149
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
151
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper addresses the problem of design rule correct routing, i.e. the avoidance of illegal wiring patterns during routing. These illegal wiring patterns are due to the set of ...
154
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a memetic algorithm that dynamically optimizes the design of a wireless sensor network towards energy conservation and extension of the life span of the network, taking ...
164
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...