Sciweavers

6434 search results - page 306 / 1287
» Model Transformations with Reference Models
Sort
View
SC
1995
ACM
15 years 10 months ago
Relative Debugging and its Application to the Development of Large Numerical Models
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
David Abramson, Ian T. Foster, John Michalakes, Ro...
FLAIRS
2007
15 years 9 months ago
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
David Brageul, Hans W. Guesgen
ICAI
2007
15 years 8 months ago
A Graphical Game Model of Drug Binding
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...
Christina Boucher, Maja Omanovic
DEXA
2010
Springer
186views Database» more  DEXA 2010»
15 years 6 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
ICASSP
2010
IEEE
15 years 6 months ago
Singing information processing based on singing voice modeling
In this paper, we propose a novel area of research referred to as singing information processing. To shape the concept of this area, we first introduce singing understanding syst...
Masataka Goto, Takeshi Saitou, Tomoyasu Nakano, Hi...