Sciweavers

440 search results - page 19 / 88
» An Abstract Data Type for Real Numbers
Sort
View
CIE
2005
Springer
14 years 1 months ago
Computability in Computational Geometry
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
Abbas Edalat, Ali Asghar Khanban, André Lie...
TACAS
2010
Springer
241views Algorithms» more  TACAS 2010»
14 years 2 months ago
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
Matthieu Moy, Karine Altisen
JUCS
2008
140views more  JUCS 2008»
13 years 7 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch
DASFAA
2005
IEEE
137views Database» more  DASFAA 2005»
14 years 1 months ago
A General Approach to Mining Quality Pattern-Based Clusters from Microarray Data
Abstract. Pattern-based clustering has broad applications in microarray data analysis, customer segmentation, e-business data analysis, etc. However, pattern-based clustering often...
Daxin Jiang, Jian Pei, Aidong Zhang
IBPRIA
2007
Springer
14 years 1 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...