Sciweavers

2272 search results - page 196 / 455
» Capture Complexity by Partition
Sort
View
STACS
1994
Springer
15 years 7 months ago
Reachability and the Power of Local Ordering
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
Kousha Etessami, Neil Immerman
167
Voted
HPCC
2007
Springer
15 years 7 months ago
An Exploration of Performance Attributes for Symbolic Modeling of Emerging Processing Devices
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
Sadaf R. Alam, Nikhil Bhatia, Jeffrey S. Vetter
162
Voted
ASWSD
2006
Springer
15 years 7 months ago
Reusable Services and Semi-automatic Service Composition for Automotive Software
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
Holger Giese
ICCV
1995
IEEE
15 years 7 months ago
Matching Constraints and the Joint Image
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
Bill Triggs
118
Voted
ASSETS
2008
ACM
15 years 5 months ago
Technology for just-in-time in-situ learning of facial affect for persons diagnosed with an autism spectrum disorder
Many first-hand accounts from individuals diagnosed with autism spectrum disorders (ASD) highlight the challenges inherent in processing high-speed, complex, and unpredictable soc...
Miriam Madsen, Rana El Kaliouby, Matthew Goodwin, ...