16616 search results - page 1 / 3324 » Extending Extended Vacuity |
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
TSP
2011
13 years 29 days ago
2011
—This paper presents an extended target tracking framework which uses polynomials in order to model extended objects in the scene of interest from imagery sensor data. State spac...
SYNTHESE
2010
13 years 23 days ago
2010
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...
ICMCS
2009
IEEE
13 years 3 months ago
2009
IEEE
To deal with the issue of data unbalanced condition among a task of multilingual speech recognition and a phenomenon of pronunciation variations across languages, we propose an ap...