Sciweavers

2024 search results - page 207 / 405
» A Formal Model of Multi-agent Computations
Sort
View
ICPR
2000
IEEE
15 years 8 months ago
Is Pattern Recognition a Physical Science?
This paper deals with the roles of assumption, mathematical models, and experimental control in Pattern Recognition. In order to base the discussion on actual examples, three stud...
Jean Serra
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
15 years 8 months ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
UAI
2004
15 years 5 months ago
Robustness of Causal Claims
A causal claim is any assertion that invokes causal relationships between variables, for example, that a drug has a certain e ect on preventing a disease. Causal claims are establ...
Judea Pearl
SAC
2010
ACM
15 years 11 months ago
A deidealisation semantics for KAOS
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
Richard Banach
CVPR
2008
IEEE
15 years 10 months ago
General Constraints for Batch Multiple-Target Tracking Applied to Large-Scale Videomicroscopy
While there is a large class of Multiple-Target Tracking (MTT) problems for which batch processing is possible and desirable, batch MTT remains relatively unexplored in comparis...
Kevin Smith, Alan Carleton, Vincent Lepetit