125 search results - page 19 / 25 » Model Theory Makes Formulas Large |
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
135
click to vote
ECRTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
133
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Stereo matching commonly requires rectified images that
are computed from calibrated cameras. Since all under-
lying parametric camera models are only approximations,
calibratio...
103
click to vote
AGI
2008
15 years 3 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
108
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...