Sciweavers

1507 search results - page 119 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
ECUMN
2004
Springer
14 years 1 months ago
Multi-time-Scale Traffic Modeling Using Markovian and L-Systems Models
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
Paulo Salvador, António Nogueira, Rui Valad...
MPC
2010
Springer
246views Mathematics» more  MPC 2010»
14 years 1 days ago
Abstraction of Object Graphs in Program Verification
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
Yifeng Chen, Jeff W. Sanders
ECCV
2004
Springer
14 years 12 months ago
The Least-Squares Error for Structure from Infinitesimal Motion
We analyze the least?squares error for structure from motion with a single infinitesimal motion ("structure from optical flow"). We present asymptotic approximations to ...
John Oliensis
GIS
2009
ACM
14 years 2 months ago
Data structures and intersection algorithms for 3D spatial data types
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
Tao Chen, Markus Schneider
BMCBI
2006
112views more  BMCBI 2006»
13 years 10 months ago
Distill: a suite of web servers for the prediction of one-, two- and three-dimensional structural features of proteins
Background: We describe Distill, a suite of servers for the prediction of protein structural features: secondary structure; relative solvent accessibility; contact density; backbo...
Davide Baù, Alberto J. M. Martin, Catherine...