Sciweavers

329 search results - page 48 / 66
» Applying adaptive test cases to nondeterministic implementat...
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ICDE
2012
IEEE
256views Database» more  ICDE 2012»
11 years 9 months ago
Micro-Specialization in DBMSes
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
Rui Zhang, Richard T. Snodgrass, Saumya Debray
ICIP
2008
IEEE
14 years 9 months ago
Motion detection with false discovery rate control
Visual surveillance applications such as object identification, object tracking, and anomaly detection require reliable motion detection as an initial processing step. Such a dete...
David A. Castañon, J. Mike McHugh, Janusz K...
MICCAI
2005
Springer
14 years 8 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...
RTSS
2007
IEEE
14 years 1 months ago
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
Marko Bertogna, Michele Cirinei