Sciweavers

4385 search results - page 571 / 877
» Abstraction for Concurrent Objects
Sort
View
ROOM
2000
15 years 8 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
BIOSTEC
2008
137views Healthcare» more  BIOSTEC 2008»
15 years 7 months ago
Breast Contour Detection with Stable Paths
Abstract. Breast cancer conservative treatment (BCCT), due to its proven oncological safety, is considered, when feasible, the gold standard of breast cancer treatment. However, ae...
Jaime S. Cardoso, Ricardo Sousa, Luís Filip...
199
Voted
CGF
2007
121views more  CGF 2007»
15 years 6 months ago
Real-Time Simulation of Thin Shells
This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D s...
Min Gyu Choi, Seung Yong Woo, Hyeong-Seok Ko
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 6 months ago
Attribute Exploration of Discrete Temporal Transitions
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
Johannes Wollbold
167
Voted
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
Gaze-based Interaction for Virtual Environments
Abstract We present an alternative interface that allows users to perceive new sensations in virtual environments. Gaze-based interaction in virtual environments creates the feelin...
Jorge Jimenez, Diego Gutierrez, Pedro Latorre