5639 search results - page 501 / 1128 » Timed Abstract Non-interference |
171
click to vote
ICAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
135
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Jumping can be a very efficient mode of locomotion for small robots to overcome large obstacles and travel in natural, rough terrain. In this paper we present the deve...
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We compare two well-known algorithms for locating odor sources in environments with a main wind flow. Their plume tracking performance is tested through systematic exp...
127
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— In this paper, we present an effective computational approach for learning patterns of brain activity from the fMRI data. The procedure involved correcting motion artif...
156
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. One important problem for such public broadcast LBS is to enforce access control on a large number of subscribers. In such a system a user typically subscribes to a LBS f...