Sciweavers

4965 search results - page 52 / 993
» A Simple Abstraction for Data Modeling
Sort
View
MICCAI
2001
Springer
15 years 10 months ago
Implicit Snakes: Active Constrained Implicit Models
Extended Abstract: We are exploring new techniques for active contour models (popularly known as “snakes”[1]) by combining active segmentation models with the constrained impli...
Terry S. Yoo, Kalpathi R. Subramanian
GLVLSI
2007
IEEE
141views VLSI» more  GLVLSI 2007»
15 years 9 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
WABI
2009
Springer
128views Bioinformatics» more  WABI 2009»
16 years 2 days ago
Improving Inference of Transcriptional Regulatory Networks Based on Network Evolutionary Models
Abstract. Computational inference of transcriptional regulatory networks remains a challenging problem, in part due to the lack of strong network models. In this paper we present e...
Xiuwei Zhang, Bernard M. E. Moret
WIIW
2001
104views more  WIIW 2001»
15 years 6 months ago
Modeling Web Site Personalization Strategies
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
Fabiana Ruas, Wagner Meira Jr., Paulo Araúj...
CSL
2009
Springer
16 years 2 days ago
Model Checking FO(R) over One-Counter Processes and beyond
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
Anthony Widjaja To