Sciweavers

2367 search results - page 200 / 474
» An experimental analysis of self-adjusting computation
Sort
View
ICDCS
2010
IEEE
15 years 10 months ago
Quantifying and Querying Network Reachability
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
Amir R. Khakpour, Alex X. Liu
SDM
2007
SIAM
182views Data Mining» more  SDM 2007»
15 years 8 months ago
Distance Preserving Dimension Reduction for Manifold Learning
Manifold learning is an effective methodology for extracting nonlinear structures from high-dimensional data with many applications in image analysis, computer vision, text data a...
Hyunsoo Kim, Haesun Park, Hongyuan Zha
SPIN
2010
Springer
15 years 5 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
ISCAS
2006
IEEE
122views Hardware» more  ISCAS 2006»
16 years 19 days ago
256-channel integrated neural interface and spatio-temporal signal processor
Abstract- We present an architecture and VLSI implemen- Various strategies in the analysis of spatio-temporal dynamtation of a distributed neural interface and spatio-temporal ics ...
J. N. Y. Aziz, Roman Genov, B. R. Bardakjian, M. D...
ITICSE
2005
ACM
16 years 5 days ago
Learning styles across the curriculum
Recent research has shown that a student’s learning style – essentially, the way a student approaches and masters new material – can affect student performance in introducto...
A. T. Chamillard, Ricky E. Sward