570 search results - page 17 / 114 » Towards a Realistic Model of Indices in Object Bases |
AAAI
2011
12 years 7 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- Lifetime maximization is an important optimization problem specific to Wireless Sensor Networks (WSNs) since they operate with limited energy resources which are therefo...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Wyner-Ziv (WZ) video coding ? a particular case of distributed video coding (DVC) ? is a new video coding paradigm based on two major Information Theory results: the Slepian-Wolf ...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
FMOODS
2007
13 years 9 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...