Sciweavers

2797 search results - page 186 / 560
» Control Structures
Sort
View
HYBRID
2010
Springer
15 years 1 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
BMCBI
2008
128views more  BMCBI 2008»
15 years 3 months ago
HAPSIMU: a genetic simulation platform for population-based association studies
Background: Population structure is an important cause leading to inconsistent results in population-based association studies (PBAS) of human diseases. Various statistical method...
Feng Zhang, Jianfeng Liu, Jie Chen, Hong-Wen Deng
WISE
2002
Springer
15 years 8 months ago
Towards Translating Authorizations for Transformed XML Documents
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...
Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko K...
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
14 years 10 months ago
Evolution of the perception about the opponent in hypergames
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
Bahman Gharesifard, Jorge Cortes
SIBGRAPI
2000
IEEE
15 years 6 months ago
Semi-Regular 4-8 Refinement and Box Spline Surfaces
Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...
Luiz Velho