Sciweavers

1225 search results - page 58 / 245
» Maximal Consistent Subsets
Sort
View
HYBRID
2007
Springer
15 years 9 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
109
Voted
GD
2005
Springer
15 years 8 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
15 years 7 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
15 years 4 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
15 years 4 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