Sciweavers

2904 search results - page 206 / 581
» Number Forms in the Brain
Sort
View
IJCAI
2003
15 years 8 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
WSC
2001
15 years 8 months ago
Deterministic fluid models of congestion control in high-speed networks
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
Sanjay Shakkottai, R. Srikant
WSCG
2004
205views more  WSCG 2004»
15 years 8 months ago
Visualisation System Based on Image Warping and Delaunay Triangulation of the Space
In this article we present a visualisation algorithm based on image warping. A source data for the algorithm is a set of images with colour and depth information rendered for the ...
Przemyslaw Kozankiewicz
PDPTA
2003
15 years 8 months ago
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
Charles E. Hughes, Marc L. Smith
PDPTA
2003
15 years 8 months ago
Estimating Fault-Detection and Fail-Over Times for Nested Real-Time CORBA Applications
Abstract— Today’s middleware applications tend to be complicated, and consist of tiers that form a nested chain of objects or processes. For a real-time nested application, pre...
Sukanya Ratanotayanon, Priya Narasimhan