Sciweavers

28445 search results - page 689 / 5689
» Anatomically based modeling
Sort
View
ICASSP
2011
IEEE
14 years 8 months ago
A simple music/voice separation method based on the extraction of the repeating musical structure
Repetition is a core principle in music. This is especially true for popular songs, generally marked by a noticeable repeating musical structure, over which the singer performs va...
Zafar Rafii, Bryan Pardo
PRICAI
2004
Springer
15 years 10 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
Wayne Wobcke
ER
2006
Springer
87views Database» more  ER 2006»
15 years 8 months ago
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Stefano Spaccapietra, Christine Parent, Esteban Zi...
136
Voted
IJCAI
1993
15 years 6 months ago
Nonmonotonic Model Inference-A Formalization of Student Modeling
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
114
Voted
ENTCS
2007
107views more  ENTCS 2007»
15 years 5 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil