Sciweavers

2041 search results - page 118 / 409
» Modelling Generic Judgements
Sort
View
MODELS
2007
Springer
15 years 11 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
ICCAD
2005
IEEE
70views Hardware» more  ICCAD 2005»
15 years 10 months ago
Physics-based compact modeling for nonclassical CMOS
Physics-based compact modeling, as opposed to the conventional empirical approach, is emphasized for nanoscale nonclassical CMOS. UFDG, a physics-based compact model for generic d...
Vishal P. Trivedi, Jerry G. Fossum, Leo Mathew, Mu...
ISMIR
2003
Springer
116views Music» more  ISMIR 2003»
15 years 10 months ago
Harmonic analysis with probabilistic graphical models
A technique for harmonic analysis is presented that partitions a piece of music into contiguous regions and labels each with the key, mode, and functional chord, e.g. tonic, domin...
Christopher Raphael, Josh Stoddard
AAAI
1990
15 years 6 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
ENTCS
2008
92views more  ENTCS 2008»
15 years 4 months ago
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
Luca Cardelli, Philippa Gardner, Ozan Kahramanogul...