Sciweavers

43264 search results - page 206 / 8653
» Comparing models of computation
Sort
View
CADE
2004
Springer
16 years 3 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
96
Voted
ICPR
2004
IEEE
16 years 4 months ago
An Enhanced Appearance Model for Ultrasound Image Segmentation
Active Appearance Model (AAM) [1] had been popular on object segmentation for medical images. However, its performance is not good on Ultrasound (US) images. In this paper, we pro...
Feng Cen, Hung-Tat Tsui, Tze Kin Lau, Yifeng Jiang...
75
Voted
ACL
2010
15 years 1 months ago
Combining Data and Mathematical Models of Language Change
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...
Morgan Sonderegger, Partha Niyogi
108
Voted
JCIT
2010
92views more  JCIT 2010»
14 years 10 months ago
The Research of Chinese Semantic Similarity Calculation Introduced Punctuations
So far, most Chinese natural language processing neglects the punctuations or oversimplifies their functi- ons. To improve the efficiency of Chinese similarity computing, this pap...
Cheng Xian-yi, Sun Ping, Zhu Qian, Cai Yue-hong
151
Voted
ERLANG
2006
ACM
15 years 9 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain