12774 search results - page 240 / 2555 » A Framework for Proof Systems |
275
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
So far the optimization of integration processes between heterogeneous data sources is still an open challenge. A first step towards sufficient techniques was the specification of ...
179
click to vote
AVSS
2005
IEEE
16 years 8 days ago
2005
IEEE
This work describes a data fusion technique to improve performances in objects localization and tracking for automatic video surveillance systems. The developed strategy is design...
170
click to vote
ECIS
2001
15 years 8 months ago
2001
Giddens' structuration theory (ST) offers an account of social life in terms of social practices developing and changing over time and space, which makes no attempt to direct...
148
click to vote
VLBV
2005
Springer
16 years 3 days ago
2005
Springer
A lifelike human face can enhance interactive applications by providing straightforward feedback to and from the users and stimulating emotional responses from them. An expressive...
153
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
The objective of this paper is twofold. First, the problem of generation of real random matrix samples with uniform distribution in structured (spectral) norm bounded sets is stud...