Sciweavers

3394 search results - page 61 / 679
» Regular Object Types
Sort
View
TIP
2010
277views more  TIP 2010»
14 years 7 months ago
Distance Regularized Level Set Evolution and Its Application to Image Segmentation
Level set methods have been widely used in image processing and computer vision. In conventional level set formulations, the level set function typically develops irregularities du...
Chunming Li, Chenyang Xu, Changfeng Gui, Martin D....
114
Voted
ECOOP
2005
Springer
15 years 6 months ago
Towards Type Inference for JavaScript
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
Christopher Anderson, Paola Giannini, Sophia Dross...
MST
2007
168views more  MST 2007»
15 years 2 days ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
83
Voted
DAC
2005
ACM
15 years 2 months ago
Design methodology for IC manufacturability based on regular logic-bricks
Implementing logic blocks in an integrated circuit in terms of repeating or regular geometry patterns [6,7] can provide significant advantages in terms of manufacturability and de...
V. Kheterpal, V. Rovner, T. G. Hersan, D. Motiani,...
IJCNLP
2004
Springer
15 years 6 months ago
A Persistent Feature-Object Database for Intelligent Text Archive Systems
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
Takashi Ninomiya, Jun-ichi Tsujii, Yusuke Miyao