6042 search results - page 369 / 1209 » Repeated Observation Models |
185
click to vote
SAT
2005
Springer
16 years 8 days 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...
161
click to vote
ECAI
2004
Springer
16 years 5 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...
172
Voted
ISQED
2003
IEEE
16 years 2 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...
186
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
176
click to vote
ATAL
2008
Springer
15 years 8 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...