2748 search results - page 154 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
148
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
145
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a real-time single-camera surveillance system, aiming at detecting and partly analyzing a group of people. A set of moving persons is segmented using a combina...
143
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
166
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Colon cancer is the second leading cause of cancer-related deaths per year in industrial nations. Virtual colonoscopy is a new, less invasive alternative to the usually practiced ...
111
Voted
SFM
2009
Springer
15 years 11 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...