1616 search results - page 261 / 324 » A Framework for Hybrid Planning |
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Computationally complex and data intensive atomic scale biomolecular simulation is enabled via Processing in Network Storage (PINS): a novel distributed system framework to overco...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose a hybrid approach for the automatic three-dimensional segmentation of coronary arteries using multi-scale vessel filtering and a Bayesian probabilistic ...
WETICE
2007
IEEE
14 years 3 months ago
2007
IEEE
Skype is a popular peer-to-peer (P2P) voice over IP (VoIP) application evolving quickly since its launch in 2003. However, the ability to traverse network address translation (NAT...
ADAPTIVE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this chapter we present an overview of Web personalization process viewed as an application of data mining requiring support for all the phases of a typical data minin...