Sciweavers

43264 search results - page 376 / 8653
» Comparing models of computation
Sort
View
139
Voted
ISCAS
2006
IEEE
131views Hardware» more  ISCAS 2006»
15 years 11 months ago
Static generator model for analog power flow computation
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Chika O. Nwankpa
CIVR
2009
Springer
257views Image Analysis» more  CIVR 2009»
15 years 11 months ago
Trajectory-based handball video understanding
This paper presents a content-based approach for understanding handball videos. Tracked players are characterized by their 2D trajectories in the court plane. The trajectories and...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
FDL
2004
IEEE
15 years 8 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
ICCS
2001
Springer
15 years 9 months ago
Computational Design and Performance of the Fast Ocean Atmosphere Model, Version One
The Fast Ocean Atmosphere Model (FOAM) is a climate system model intended for application to climate science questions that require long simulations. FOAM is a distributed-memory p...
Robert L. Jacob, Chad Schafer, Ian T. Foster, Mich...
ECAI
2006
Springer
15 years 8 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang