3951 search results - page 174 / 791 » Automatic amortized analysis |
160
click to vote
FLAIRS
2007
15 years 7 months ago
2007
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
162
Voted
3DOR
2009
15 years 6 months ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
178
Voted
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
168
click to vote
BMCBI
2011
15 years 4 hour ago
2011
Background: The Distributed Annotation System (DAS) has proven to be a successful way to publish and share biological data. Although there are more than 750 active registered serv...
157
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...