3951 search results - page 369 / 791 » Automatic amortized analysis |
164
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
141
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Multiparty collaborative applications in which groups of people act in concert to achieve some real-world goal abound. In these situations, it is useful for a central planning age...
193
click to vote
ICSEA
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
158
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
164
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...