16518 search results - page 184 / 3304 » A New Approach to Splitting-Off |
146
click to vote
IJCNLP
2004
Springer
15 years 12 months ago
2004
Springer
We present a study of new word identification (NWI) to improve the performance of a Chinese word segmenter. In this paper the distribution and types of new words are discussed emp...
162
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
163
click to vote
IJCAI
2003
15 years 7 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
164
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
245
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...