276 search results - page 12 / 56 » The Complexity of Computing Maximal Word Functions |
160
Voted
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
136
Voted
COMPLEX
2009
Springer
16 years 28 days ago
2009
Springer
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...
186
Voted
JUCS
2006
15 years 6 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
174
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...
170
Voted
UC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Dynamical structure in the brain promotes biological function. Natural scientists look for correlations between measured electrical signals and behavior or mental states....