Sciweavers

4466 search results - page 408 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
PARA
1998
Springer
15 years 10 months ago
Exploiting Visualization and Direct Manipulation to Make Parallel Tools More Communicative
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
Cherri M. Pancake
AVSS
2007
IEEE
16 years 25 days ago
Model-based human posture estimation for gesture analysis in an opportunistic fusion smart camera network
In multi-camera networks rich visual data is provided both spatially and temporally. In this paper a method of human posture estimation is described incorporating the concept of a...
Chen Wu, Hamid K. Aghajan
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ML
2008
ACM
248views Machine Learning» more  ML 2008»
15 years 6 months ago
Feature selection via sensitivity analysis of SVM probabilistic outputs
Feature selection is an important aspect of solving data-mining and machine-learning problems. This paper proposes a feature-selection method for the Support Vector Machine (SVM) l...
Kai Quan Shen, Chong Jin Ong, Xiao Ping Li, Einar ...
ECIS
2001
15 years 7 months ago
Data Modelling Languages: An Ontological Study
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
Simon K. Milton, Edmund Kazmierczak, Chris Keen