8825 search results - page 249 / 1765 » All for one or one for all |
ENTCS
2000
15 years 1 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
IJCV
2002
15 years 1 months ago
2002
This paper presents a linear algorithm for simultaneous computation of 3D points and camera positions from multiple perspective views based on having a reference plane visible in a...
127
click to vote
IJPP
1998
15 years 1 months ago
1998
This paper applies unimodular transformations and tiling to improve data locality of a loop nest. Due to data dependences and reuse information, not all dimensions of the iteration...
117
Voted
INFOCOM
2010
IEEE
15 years 4 days ago
2010
IEEE
—Beaconing is a primitive communication task in which every node locally broadcasts a packet to all its neighbors within a fixed distance. Assume that all communications proceed...
JASIS
2010
15 years 4 days ago
2010
This paper analyzes the effect of interdisciplinarity on the scientific impact of individual papers. Using all the papers published in Web of Science in 2000, we define the degree...