Sciweavers

4762 search results - page 680 / 953
» About the use of protein models
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 8 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
UM
2007
Springer
15 years 7 months ago
Eliciting Motivation Knowledge from Log Files Towards Motivation Diagnosis for Adaptive Systems
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
Mihaela Cocea, Stephan Weibelzahl
CCGRID
2006
IEEE
15 years 7 months ago
Towards Building an Intelligent Traffic Simulation Platform
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
Jian Cao, Minglu Li, Linpeng Huang, Ren Qinsheng, ...
ICMCS
2006
IEEE
106views Multimedia» more  ICMCS 2006»
15 years 7 months ago
Scalability in Human Shape Analysis
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
Thomas Fourès, Philippe Joly
ACMICEC
2006
ACM
215views ECommerce» more  ACMICEC 2006»
15 years 7 months ago
Economics of online music and consumer behavior
In this paper we first provide a literature review about the economics of online music. Second, we then present an economical model for online music by incorporating various param...
Marc Fetscherin