Sciweavers

2970 search results - page 297 / 594
» A Model for the Visualization Exploration Process
Sort
View
CONCUR
2009
Springer
15 years 11 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
15 years 9 months ago
On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
Kurt A. Richardson
ICIP
2005
IEEE
16 years 6 months ago
Tracking and segmenting people with occlusions by a sample consensus based method
One of the most difficult issues in visual tracking is to track people in groups, especially under occlusions. In this paper, we present a novel sample consensus based method, whi...
Hanzi Wang, David Suter
ICIP
2005
IEEE
16 years 6 months ago
Multiresolution analysis for meshes with appearance attributes
We present a new multiresolution analysis framework for irregular meshes with attributes based on the lifting scheme. We introduce a surface prediction operator to compute the det...
Andreas Koschan, Frédéric Truchetet,...
ICANN
2005
Springer
15 years 10 months ago
A Gradient Rule for the Plasticity of a Neuron's Intrinsic Excitability
While synaptic learning mechanisms have always been a core topic of neural computation research, there has been relatively little work on intrinsic learning processes, which change...
Jochen Triesch