Sciweavers

325 search results - page 45 / 65
» Analysis of the constraint proposal method for two-party neg...
Sort
View
ICA
2007
Springer
15 years 6 months ago
Extraction of Atrial Activity from the ECG by Spectrally Constrained ICA Based on Kurtosis Sign
Abstract. This paper deals with the problem of estimating atrial activity during atrial fibrillation periods in the electrocardiogram (ECG). Since the signal of interest differs ...
Ronald Phlypo, Vicente Zarzoso, Pierre Comon, Yves...
146
Voted
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 6 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
111
Voted
IROS
2006
IEEE
149views Robotics» more  IROS 2006»
15 years 6 months ago
Tactile Measurement of Local Contact Geometry Using Soft Fingertip with Force/Torque Sensor
— We propose a new method of tactile sensing for a fingertip of robotic hand based on the analysis of the mechanical constraints imposed to the contact between the fingertip an...
Kouji Murakami, Tsutomu Hasegawa
115
Voted
ICTAC
2005
Springer
15 years 6 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
WCE
2007
15 years 1 months ago
Local Approximation of Pareto Surface
—In the design process of complex systems, the designer is solving an optimization problem, which involves different disciplines and where all design criteria have to be optimize...
S. V. Utyuzhnikov, Jeremy Maginot, Marin D. Guenov