835 search results - page 2 / 167 » Characterizing rosy theories |
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, it is presented a new way to characterize the phenotype in the context of Genetic Algorithms through the use of Game Theory as a theoretical foundation to define a ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
ACCV
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crow...
CORR
2011
Springer
13 years 9 days ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...