4047 search results - page 67 / 810 » Algebraic Model Checking |
142
Voted
TOG
2012
13 years 3 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
102
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
114
Voted
CASCON
2001
15 years 2 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
105
Voted
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
95
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
We give near-optimal space bounds in the streaming model for linear algebra problems that include estimation of matrix products, linear regression, low-rank approximation, and app...