3229 search results - page 443 / 646 » The Theory of Timed Automata |
168
click to vote
JCM
2007
15 years 6 months ago
2007
—Wireless Ad hoc networks represent a powerful telecommunication infrastructure that is being exploited for enabling general wireless networking connectivity for a variety of sig...
175
click to vote
MOC
2000
15 years 6 months ago
2000
Seven widely spaced regions of integers with 4,3(x) < 4,1(x) have been discovered using conventional prime sieves. Assuming the generalized Riemann hypothesis, we modify a resul...
181
click to vote
KBS
2002
15 years 6 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
199
click to vote
PAMI
2002
15 years 6 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
170
click to vote
ISVD
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we present a Delaunay refinement algorithm for meshing 3D medical images. We prove that (a) all the tetrahedra of the output mesh have radius-edge ratio less tha...