8828 search results - page 1415 / 1766 » Formal methods in practice |
206
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
While realistic illumination significantly improves the visual quality and perception of rendered images, it is often very expensive to compute. In this paper, we propose a new al...
183
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
200
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Motion capture using wireless inertial measurement units (IMUs) has many advantages over other techniques. Achieving accurate tracking with IMUs presents a processing challenge, e...
169
click to vote
AGILEDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Systematic is an agile company working at CMMI level 5, where the default way of working is based on Scrum and story based early testing development. Solid experiences in combinin...
188
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Immediate notification of urgent but rare events and delivery of time sensitive actuation commands appear in many practical wireless sensor and actuator network applications. M...