4600 search results - page 649 / 920 » Presentation Of The Eurolang Project |
171
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
Aero engines are extremely reliable machines and operational failures are rare. However, currently great effort is being put into reducing the number of in-flight engine shutdowns,...
163
click to vote
SWAT
2004
Springer
16 years 3 days ago
2004
Springer
For a collection F of d-variate piecewise linear functions of overall combinatorial complexity n, the lower envelope E(F) of F is the pointwise minimum of these functions. The min...
180
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
188
click to vote
CASES
2003
ACM
16 years 10 hour ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
158
click to vote
COMPGEOM
2003
ACM
16 years 10 hour ago
2003
ACM
Given a collection C of circles in the plane, we wish to construct the arrangement A(C) (namely the subdivision of the plane into vertices, edges and faces induced by C) using fl...