8337 search results - page 1385 / 1668 » Reasoning With Characteristic Models |
189
click to vote
JOT
2008
15 years 6 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
173
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
208
click to vote
SIGECOM
2008
ACM
15 years 6 months ago
2008
ACM
Computer users express a strong desire to prevent attacks and to reduce the losses from computer and information security breaches. However, security compromises are common and wi...
232
click to vote
TSMC
2008
15 years 6 months ago
2008
We present a method for the recovery of partially occluded 3D geometric primitives from range images which might also include non-primitive objects. The method uses a technique for...
162
click to vote
CN
2002
15 years 6 months ago
2002
The statistical characteristics of network traffic - in particular the observation that it can exhibit long range dependence - have received considerable attention from the resear...