6042 search results - page 369 / 1209 » Repeated Observation Models |
209
click to vote
SAT
2005
Springer
16 years 1 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
176
click to vote
ECAI
2004
Springer
16 years 28 days ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
188
click to vote
ISQED
2003
IEEE
16 years 24 days ago
2003
IEEE
The amplitude of coupled noise is often used in estimating the crosstalk effect. Coupling noise-induced delay measures the impact of crosstalk on circuit performance. Efficient c...
206
click to vote
AOSE
2001
Springer
16 years 1 days ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
188
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...