3123 search results - page 356 / 625 » Focusing on pattern matching |
185
Voted
ENTCS
2011
15 years 1 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
150
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The problem of using pictures of objects captured under ideal imaging conditions (here referred to as in vitro) to recognize objects in natural environments (in situ) is an emergi...
303
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Named entity recognition aims at extracting named entities from unstructured text. A recent trend of named entity recognition is finding approximate matches in the text with respe...
255
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
An important problem for many location-based applications is the continuous evaluation of proximity relations among moving objects. These relations express whether a given set of ...
172
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...