Sciweavers

1709 search results - page 133 / 342
» Precise Modeling of Design Patterns
Sort
View
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 5 months ago
A symbolic model approach to the digital control of nonlinear time-delay systems
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...
109
Voted
ICMCS
2007
IEEE
157views Multimedia» more  ICMCS 2007»
15 years 7 months ago
A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines
In automatic video content analysis domain, the key challenges are how to recognize important objects and how to model the spatiotemporal relationships between them. In this paper...
Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan ...
ICSM
2007
IEEE
15 years 7 months ago
On the prediction of the evolution of libre software projects
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
Israel Herraiz, Jesús M. González-Ba...
89
Voted
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 4 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
83
Voted
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 5 months ago
Multi-settlement Systems for Electricity Markets: Zonal Aggregation under Network Uncertainty and Market Power
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
Rajnish Kamat, Shmuel S. Oren