Sciweavers

1086 search results - page 173 / 218
» Rapid Development of Real-Time Systems Using RTExpress
Sort
View
TLCA
2005
Springer
14 years 2 months ago
Avoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
Christian Urban, James Cheney
VIZSEC
2005
Springer
14 years 2 months ago
A Visualization Methodology for Characterization of Network Scans
Many methods have been developed for monitoring network traffic, both using visualization and statistics. Most of these methods focus on the detection of suspicious or malicious ...
Chris Muelder, Kwan-Liu Ma, Tony Bartoletti
APGV
2004
ACM
138views Visualization» more  APGV 2004»
14 years 2 months ago
Perceptual invariance of nonlinear Focus+Context transformations
Focus+Context techniques are commonly used in visualization systems to provide both the details and the context. The "shaker paradigm", in which an image is rapidly alte...
Keith Lau, Ronald A. Rensink, Tamara Munzner
CMSB
2003
Springer
14 years 1 months ago
An Overview of Data Models for the Analysis of Biochemical Pathways
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
Yves Deville, David Gilbert, Jacques van Helden, S...
BMCV
2000
Springer
14 years 1 months ago
Towards a Computational Model for Object Recognition in IT Cortex
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
David G. Lowe