Sciweavers

3984 search results - page 427 / 797
» A Model-Driven Transformation Method
Sort
View
IPPS
1998
IEEE
15 years 11 months ago
Sharing Random Bits with No Process Coordination
We present a method by which any polynomial-time randomized distributed algorithm is transformed in such way that each participating process needs only polylog local random bits a...
Marius Zimand
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
146
Voted
ALP
1990
Springer
15 years 10 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
ACCV
2007
Springer
15 years 10 months ago
Gait Identification Based on Multi-view Observations Using Omnidirectional Camera
Abstract. We propose a method of gait identification based on multiview gait images using an omnidirectional camera. We first transform omnidirectional silhouette images into panor...
Kazushige Sugiura, Yasushi Makihara, Yasushi Yagi
AGTIVE
2007
Springer
15 years 10 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...