Sciweavers

212 search results - page 35 / 43
» Case Study: A Look of Performance Expression
Sort
View
LPKR
1997
Springer
14 years 1 months ago
Abduction, Argumentation and Bi-Disjunctive Logic Programs
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
Kewen Wang, Huowang Chen
CW
2004
IEEE
14 years 24 days ago
Modeling of Bodies and Clothes for Virtual Environments
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
Nadia Magnenat-Thalmann, Frederic Cordier, Hyewon ...
FAST
2010
13 years 11 months ago
quFiles: The Right File at the Right Time
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...
Kaushik Veeraraghavan, Jason Flinn, Edmund B. Nigh...
BPM
2008
Springer
125views Business» more  BPM 2008»
13 years 11 months ago
Checking Compliance of Execution Traces to Business Rules
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
Federico Chesani, Paola Mello, Marco Montali, Fabr...
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
13 years 9 months ago
Correlation-based tuning of decoupling multivariable controllers
The iterative method labelled Correlation-based Tuning (CbT) is considered in this paper for tuning linear time-invariant multivariable controllers. The approach allows one to tun...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...