8025 search results - page 1437 / 1605 » Combinators Introduction: An Algorithm |
168
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
173
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
—As the number of Mobile IP (MIP) [2] users grow, so will the demand for delay sensitive real-time applications, such as audio streaming, that require seamless handoff, namely, a...
186
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Augmented Reality has now progressed to the point where real-time applications are being considered and needed. At the same time it is important that synthetic elements are render...
182
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a new force directed global placement algorithm that exploits and extends techniques from two leading placers, Force-directed [12] [26] and Mongrel [22]. It c...
178
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Acquiring knowledge has long been the major bottleneck preventing the rapid spread of AI systems. Manual approaches are slow and costly. Machine-learning approaches have limitatio...