Sciweavers

43264 search results - page 206 / 8653
» Comparing models of computation
Sort
View
CADE
2004
Springer
16 years 2 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
ICPR
2004
IEEE
16 years 3 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...
67
Voted
ACL
2010
15 years 19 days 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
103
Voted
JCIT
2010
92views more  JCIT 2010»
14 years 9 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
139
Voted
ERLANG
2006
ACM
15 years 8 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