Sciweavers

1578 search results - page 240 / 316
» Induction of Stable Models
Sort
View
MEMOCODE
2010
IEEE
13 years 8 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler

Publication
592views
15 years 6 months ago
Coupling Graph Cuts and Level Sets
"This paper presents an efficient algorithm for solving one sort of region-based active contour models, i.e. the active contours without edges model. We develop the link betwe...
Xiang Zeng, Wei Chen, and Qunsheng Peng
ICIP
2006
IEEE
15 years 2 days ago
Influence of the Presentation Time on Subjective Votings of Coded Still Images
The quality of coded images is often assessed by a subjective test. Usually the viewers get as much time as they need to find a stable result. In video sequences however, the view...
André Kaup, Bjoern Eskofier, Jens Bialkowsk...
ICIP
2006
IEEE
15 years 2 days ago
Computing Pose Sequences Directly from Videos
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...
Ying Kin Yu, Kin-hong Wong, Michael Ming-Yuen Chan...
IAT
2009
IEEE
14 years 5 months ago
An Intelligent Agent That Autonomously Learns How to Translate
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...
Marco Turchi, Tijl De Bie, Nello Cristianini