Sciweavers

1210 search results - page 125 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
15 years 10 months ago
Non-uniform small-gain theorems for systems with unstable invariant sets
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van ...
EPIA
2003
Springer
15 years 9 months ago
An Evolvable Rule-Based E-mail Agent
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
José Júlio Alferes, Antonio Brogi, J...
ICMCS
1999
IEEE
202views Multimedia» more  ICMCS 1999»
15 years 8 months ago
A Human-Assisted System to Build 3-D Models from a Single Image
We present a system at the junction between Computer Vision and Computer Graphics, to produce a 3-D model of an object as observed in a single image, with a minimum of high-level ...
Alexandre R. J. François, Gérard G. ...
ASPDAC
2004
ACM
96views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Rate analysis for streaming applications with on-chip buffer constraints
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
Alexander Maxiaguine, Simon Künzli, Samarjit ...
COORDINATION
2006
Springer
15 years 7 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...