Sciweavers

2573 search results - page 318 / 515
» Combinations of Modal Logics
Sort
View
INFSOF
2007
104views more  INFSOF 2007»
15 years 6 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
IPL
2007
99views more  IPL 2007»
15 years 6 months ago
Approximation algorithms for minimizing segments in radiation therapy
Intensity modulated radiation therapy (IMRT) is one of the most effective modalities for modern cancer treatment. The key to successful IMRT treatment hinges on the delivery of a...
Shuang Luan, Jared Saia, Maxwell Young
BC
2005
82views more  BC 2005»
15 years 6 months ago
Feedback equilibrium control during human standing
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
A. V. Alexandrov, Alexander A. Frolov, F. B. Horak...
AROBOTS
2000
104views more  AROBOTS 2000»
15 years 6 months ago
Heterogeneous Teams of Modular Robots for Mapping and Exploration
In this article, we present the design of a team of heterogeneous, centimeter-scale robots that collaborate to map and explore unknown environments. The robots, called Millibots, a...
Robert Grabowski, Luis E. Navarro-Serment, Christi...
NRHM
2000
95views more  NRHM 2000»
15 years 6 months ago
Hybrid narrative and categorical strategies for interactive and dynamic video presentation generation
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
Craig A. Lindley, Frank Nack