Sciweavers

3716 search results - page 118 / 744
» On the monotonization of the training set
Sort
View
IMR
2003
Springer
15 years 11 months ago
Mesh Refinement Based on the 8-Tetrahedra Longest- Edge Partition
The 8-tetrahedra longest-edge (8T-LE) partition of any tetrahedron is defined in terms of three consecutive edge bisections, the first one performed by the longest-edge. The ass...
Angel Plaza, Maria-Cecilia Rivara
GLOBE
2009
Springer
15 years 11 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
RTCSA
2000
IEEE
15 years 10 months ago
ProtEx: a toolkit for the analysis of distributed real-time systems
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
Yves Meylan, Aneema Bajpai, Riccardo Bettati
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
DAGSTUHL
2007
15 years 7 months ago
Approximating min-max k-clustering
We consider the problems of set partitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost function is given by an oracle, and we ...
Asaf Levin