Sciweavers

2200 search results - page 114 / 440
» Bloch's Constant is Computable
Sort
View
CONEXT
2007
ACM
15 years 10 months ago
A quicker way to discover nearby peers
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
Gwendal Simon, Yiping Chen, Ali Boudani
CMSB
2006
Springer
15 years 10 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr
FORMATS
2006
Springer
15 years 10 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
RT
2000
Springer
15 years 10 months ago
Dynamic Acceleration Structures for Interactive Ray Tracing
Acceleration structures used for ray tracing have been designed and optimized for efficient traversal of static scenes. As it becomes feasible to do interactive ray tracing of movi...
Erik Reinhard, Brian E. Smits, Charles D. Hansen
ACCV
2007
Springer
15 years 8 months ago
Embedding a Region Merging Prior in Level Set Vector-Valued Image Segmentation
In the scope of level set image segmentation, the number of regions is fixed beforehand. This number occurs as a constant in the objective functional and its optimization. In this...
Ismail Ben Ayed, Amar Mitiche