734 search results - page 10 / 147 » Narrowing the Narrowing Space |
TVCG
2011
13 years 2 months ago
2011
— To what extent do people behave in immersive virtual environments as they would in similar situations in a physical environment? There are many ways to address this question, r...
IPL
2007
13 years 7 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
ICC
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—An analysis of narrow- and broadband interference robustness within an On-Off Keying/Binary Pulse Position Modulation based noncoherent multiband impulse radio ultrawide...
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
CICLING
2007
Springer
14 years 1 months ago
2007
Springer
Clustering short length texts is a difficult task itself, but adding the narrow domain characteristic poses an additional challenge for current clustering methods. We addressed thi...