4595 search results - page 579 / 919 » Reasoning about Plans |
131
Voted
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
124
click to vote
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
111
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
123
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
111
Voted
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
We present an alternate approach to the problem of structure from motion (SfM) with noisy point measurements. With no information available about the joint density of three-dimens...