Sciweavers

963 search results - page 97 / 193
» Modeling and analysis of real -time systems with mutex compo...
Sort
View
106
Voted
VR
2000
IEEE
103views Virtual Reality» more  VR 2000»
15 years 4 months ago
A Method of Constructing a Telexistence Visual System Using Fixed Screens
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...
Yasuyuki Yanagida, Taro Maeda, Susumu Tachi
AAAI
2007
15 years 2 months ago
A Vision-Based System for a UGV to Handle a Road Intersection
We propose a real-time computer vision system that enables a UGV to safely cross urban road-intersections. Specifically, when the UGV approaches the stop sign at a 4-way intersec...
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harp...
FPCA
1995
15 years 3 months ago
Once Upon a Type
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
David N. Turner, Philip Wadler, Christian Mossin
JSW
2008
105views more  JSW 2008»
14 years 12 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
SYNASC
2007
IEEE
136views Algorithms» more  SYNASC 2007»
15 years 6 months ago
Wikipedia-Based Kernels for Text Categorization
In recent years several models have been proposed for text categorization. Within this, one of the widely applied models is the vector space model (VSM), where independence betwee...
Zsolt Minier, Zalan Bodo, Lehel Csató