Sciweavers

8647 search results - page 554 / 1730
» The Container Selection Problem
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
Towards an analysis of race carrier conditions in real-time Java
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
M. Teresa Higuera-Toledano
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
16 years 1 months ago
Visual Servo Velocity and Pose Control of a Wheeled Inverted Pendulum through Partial-Feedback Linearization
— Vision-based control of wheeled vehicles is a difficult problem due to nonholonomic constraints on velocities. This is further complicated in the control of vehicles with drif...
Nicholas R. Gans, Seth Hutchinson
ICNP
2005
IEEE
16 years 20 days ago
A Family of Collusion Resistant Protocols for Instantiating Security
In this paper, we focus on the problem of identifying a family of collusion resistant protocols that demonstrate a tradeoff between the number of secrets that users maintain and t...
Sandeep S. Kulkarni, Bezawada Bruhadeshwar
CP
2005
Springer
16 years 18 days ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...
157
Voted
PREMI
2005
Springer
16 years 16 days ago
A Rough Set-Based Magnetic Resonance Imaging Partial Volume Detection System
Abstract. Segmentation of magnetic resonance imaging (MRI) data entails assigning tissue class labels to voxels. The primary source of segmentation error is the partial volume eff...
Sebastian Widz, Kenneth Revett, Dominik Slezak