2069 search results - page 111 / 414 » Synthesizing |
194
click to vote
SCESM
2006
ACM
16 years 6 days ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
142
click to vote
WIKIS
2006
ACM
16 years 6 days ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...
155
click to vote
AMFG
2005
IEEE
15 years 12 months ago
2005
IEEE
Pose variations, especially large out-of-plane rotations, make face recognition a difficult problem. In this paper, we propose an algorithm that uses a single input image to accura...
166
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
154
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...