Sciweavers

2897 search results - page 245 / 580
» Test Case Integration: From Components to Systems
Sort
View
MTA
2011
336views Hardware» more  MTA 2011»
14 years 11 months ago
SCface - surveillance cameras face database
In this paper we describe a database of static images of human faces. Images were taken in uncontrolled indoor environment using five video surveillance cameras of various qualitie...
Mislav Grgic, Kresimir Delac, Sonja Grgic
174
Voted
EDBT
2012
ACM
228views Database» more  EDBT 2012»
13 years 7 months ago
Towards scalable data integration under constraints
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
George Konstantinidis, José Luis Ambite
141
Voted
CONCUR
2006
Springer
15 years 8 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ATAL
2006
Springer
15 years 8 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
160
Voted
IDA
2009
Springer
15 years 2 months ago
Estimating Hidden Influences in Metabolic and Gene Regulatory Networks
We address the applicability of blind source separation (BSS) methods for the estimation of hidden influences in biological dynamic systems such as metabolic or gene regulatory net...
Florian Blöchl, Fabian J. Theis