3775 search results - page 297 / 755 » The Expression Problem Revisited |
160
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper the problem of evaluating the statistics of the connected nodes position in a multi-hop wireless random ad hoc network is addressed. In particular, an analytical m...
160
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
One of the main problems in the radiosity method is how to discretise a scene into mesh elements that allow us to accurately represent illumination. In this paper we present a new ...
157
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
141
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
—A generic prioritization framework is introduced for addressing the problem of automated prioritization of target selection and instrument usage, applicable to Earth and Space r...
191
click to vote
MTV
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...