Sciweavers

264 search results - page 36 / 53
» Regular Mesh Construction Algorithms using Regular Handles
Sort
View
HYBRID
2003
Springer
15 years 2 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
ICCV
2009
IEEE
2301views Computer Vision» more  ICCV 2009»
16 years 2 months ago
Class Segmentation and Object Localization with Superpixel Neighborhoods
We propose a method to identify and localize object classes in images. Instead of operating at the pixel level, we advocate the use of superpixels as the basic unit of a class s...
Brian Fulkerson, Andrea Vedaldi, Stefano Soatto
ICDT
2005
ACM
108views Database» more  ICDT 2005»
15 years 3 months ago
Optimal Workload-Based Weighted Wavelet Synopses
In recent years wavelets were shown to be effective data synopses. We are concerned with the problem of finding efficiently wavelet synopses for massive data sets, in situations...
Yossi Matias, Daniel Urieli
SRDS
2003
IEEE
15 years 2 months ago
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers
This paper presents fault-tolerant simulations of a single-writer multi-reader regular register in storage systems. One simulation tolerates fail-stop failures of storage servers ...
Hagit Attiya, Amir Bar-Or
TNN
2010
147views Management» more  TNN 2010»
14 years 4 months ago
State-space analysis of Boolean networks
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
Daizhan Cheng, Hongsheng Qi