Sciweavers

2970 search results - page 201 / 594
» A Model for the Visualization Exploration Process
Sort
View
146
Voted
SPIN
2010
Springer
15 years 1 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 1 months ago
Visual odometry priors for robust EKF-SLAM
— One of the main drawbacks of standard visual EKF-SLAM techniques is the assumption of a general camera motion model. Usually this motion model has been implemented in the liter...
Pablo Fernández Alcantarilla, Luis Miguel B...
EMISA
2009
Springer
15 years 9 months ago
Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...
Sören Balko, Arthur H. M. ter Hofstede, Alist...
94
Voted
CVPR
2007
IEEE
16 years 5 months ago
A Nonparametric Treatment for Location/Segmentation Based Visual Tracking
In this paper, we address two closely related visual tracking problems: 1) localizing a target's position in low or moderate resolution videos and 2) segmenting a target'...
Le Lu, Gregory D. Hager
PKDD
2004
Springer
324views Data Mining» more  PKDD 2004»
15 years 8 months ago
Orange: From Experimental Machine Learning to Interactive Data Mining
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...
Janez Demsar, Blaz Zupan, Gregor Leban, Tomaz Curk