527 search results - page 47 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ENTCS
2006
13 years 8 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
In this paper, we study the behavior of collaborative filtering based recommendations under evolving user profile scenarios. We propose a systematic validation methodology that ...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
ICCV
2007
IEEE
13 years 10 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
CLUSTER
2008
IEEE
14 years 3 months ago
2008
IEEE
—A commodity personal computer (PC) can be seen as a hybrid computing system equipped with two different kinds of processors, i.e. CPU and a graphics processing unit (GPU). Since...