Sciweavers

3523 search results - page 591 / 705
» Feature interaction in policies
Sort
View
ROBOCUP
1998
Springer
132views Robotics» more  ROBOCUP 1998»
15 years 10 months ago
BabyTigers-98: Osaka Legged Robot Team
The Osaka Legged Robot Team, BabyTigers-98, attended the First Sony Legged Robot Competition and Demonstration which was held at La Cite La Villeta, a science and technology museum...
Noriaki Mitsunaga, Minoru Asada, Chizuko Mishima
INFOCOM
1997
IEEE
15 years 10 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
SI3D
1997
ACM
15 years 10 months ago
Model Simplification Using Vertex-Clustering
This paper presents a practical technique to automatically compute approximations of polygonal representations of 3D objects. It is based on a previously developed model simplific...
Kok-Lim Low, Tiow Seng Tan
VRML
1997
ACM
15 years 10 months ago
V-COLLIDE: Accelerated Collision Detection for VRML
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
Thomas C. Hudson, Ming C. Lin, Jonathan D. Cohen, ...
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
15 years 10 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli