10891 search results - page 1517 / 2179 » Combining Model Reductions |
244
click to vote
SEMCO
2009
IEEE
16 years 2 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
226
Voted
TIME
2009
IEEE
16 years 2 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
192
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
183
click to vote
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
— We describe a general methodology for tracking 3-dimensional objects in monocular and stereo video that makes use of GPU-accelerated filtering and rendering in combination wit...
186
Voted
ISPW
2009
IEEE
16 years 2 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...