Sciweavers

7623 search results - page 936 / 1525
» Constructive Volume Modeling
Sort
View
TROB
2010
120views more  TROB 2010»
15 years 5 months ago
Design and Control of Concentric-Tube Robots
—A novel approach toward construction of robots is based on a concentric combination of precurved elastic tubes. By rotation and extension of the tubes with respect to each other...
Pierre E. Dupont, Jesse Lock, Brandon Itkowitz, Ev...
VTC
2010
IEEE
114views Communications» more  VTC 2010»
15 years 5 months ago
Power Control Game with SINR-Pricing in Variable-Demand Wireless Data Networks
—Game theory has been applied to model power control in wireless systems for years. Conventional power control games tend to consider unlimited backlogged user traffic. Differen...
Fu-Yun Tsuo, Wei-Lin Lee, Chih-Yu Wang, Hung-Yu We...
ACL
2010
15 years 5 months ago
Unsupervised Discourse Segmentation of Documents with Inherently Parallel Structure
Documents often have inherently parallel structure: they may consist of a text and ries, or an abstract and a body, or parts presenting alternative views on the same problem. Reve...
Minwoo Jeong, Ivan Titov
BMVC
2010
15 years 5 months ago
Embedding Visual Words into Concept Space for Action and Scene Recognition
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...
Behrouz Khadem, Elahe Farahzadeh, Deepu Rajan, And...
FORMATS
2010
Springer
15 years 5 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker