Sciweavers

487 search results - page 65 / 98
» Segmentation Standard for Chinese Natural Language Processin...
Sort
View
111
Voted
POPL
1997
ACM
15 years 7 months ago
Behavioral Equivalence in the Polymorphic Pi-calculus
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
Benjamin C. Pierce, Davide Sangiorgi
114
Voted
LREC
2008
116views Education» more  LREC 2008»
15 years 5 months ago
Entity Translation and Alignment in the ACE-07 ET Task
Entities -- people, organizations, locations and the like -- have long been a central focus of natural language processing technology development, since entities convey essential ...
Zhiyi Song, Stephanie Strassel
138
Voted
MVA
1990
123views Computer Vision» more  MVA 1990»
15 years 4 months ago
Randomized Hough Transform (RHT) in Engineering Drawing Vectorization System
Abstract When the data is processed from the digitized drawThis paper presents how the recently presented Randomized IIough Transform (RHT) method can be used as a part of an engin...
Pekka Kultanen, Erkki Oja, Lei Xu
127
Voted
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 10 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
150
Voted
UML
1998
Springer
15 years 7 months ago
The UML as a Formal Modeling Notation
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
Andy Evans, Robert B. France, Kevin Lano, Bernhard...