647 search results - page 83 / 130 » On the Universal Generation of Mobility Models |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
EDM
2010
13 years 9 months ago
2010
One of the main problems faced by university students is deciding the right learning path based on available information such as courses, schedules and professors. In this context,...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Over the past decade, classic client side applications with Model-View-Controller (MVC) architecture haven't changed much but become more complex. In this paper, we present a...
EUSFLAT
2003
13 years 9 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
CLEF
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents the results of the team of the University of North Texas in the Wikipedia image retrieval track of Image-CLEF-2010. Our approach is based on performing translat...