Sciweavers

693 search results - page 74 / 139
» Consistent normal interpolation
Sort
View
118
Voted
IAT
2009
IEEE
15 years 9 months ago
Agent-Based Security System for User Verification
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...
LFCS
2009
Springer
15 years 9 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
121
Voted
AUSDM
2007
Springer
144views Data Mining» more  AUSDM 2007»
15 years 8 months ago
An Empirical Study of Similarity Search in Stock Data
Using certain artificial intelligence techniques, stock data mining has given encouraging results in both trend analysis and similarity search. However, representing stock data ef...
Lay-Ki Soon, Sang Ho Lee
128
Voted
IBPRIA
2007
Springer
15 years 8 months ago
Motion Segmentation from Feature Trajectories with Missing Data
Abstract. This paper presents a novel approach for motion segmentation from feature trajectories with missing data. It consists of two stages. In the first stage, missing data are...
Carme Julià, Angel Domingo Sappa, Felipe Lu...
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
15 years 8 months ago
Optimal Direction of Grasped Object Minimizing Contact Forces
Abstract— When grasping an object, friction forces are sometimes utilized. Because of this friction forces, the object is manipulable to various direction. In this paper, we disc...
Satoshi Ito, Yuuki Mizukoshi, Koji Ishihara, Minor...