Sciweavers

1225 search results - page 58 / 245
» Maximal Consistent Subsets
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Systematic Simulation Using Sensitivity Analysis
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
Alexandre Donzé, Oded Maler
GD
2005
Springer
14 years 1 months ago
Hierarchical Layouts of Directed Graphs in Three Dimensions
Abstract. We introduce a new graph drawing convention for 3D hierarchical drawings of directed graphs. The vertex set is partitioned into layers of vertices drawn in parallel plane...
Seok-Hee Hong, Nikola S. Nikolov
EP
1998
Springer
13 years 12 months ago
Mathematical Tools for Computer-Generated Ornamental Patterns
This article presents mathematical tools for computer-generated ornamental patterns, with a particular attention payed to Islamic patterns. The article shows how, starting from a p...
Victor Ostromoukhov
CCS
2008
ACM
13 years 9 months ago
Private combinatorial group testing
Combinatorial group testing, given a set C of individuals ("customers"), consists of applying group tests on subsets of C for the purpose of identifying which members of...
Mikhail J. Atallah, Keith B. Frikken, Marina Blant...
FLAIRS
2006
13 years 9 months ago
A Cognitive Framework for Modeling Mental Space Construction and Switching During Situation Assessment
A process is described for selecting the subset of internal models needed to perform situation assessment and organizing them in a representation we designate a mental space. A co...
James Eilbert, James Hicinbothom