2252 search results - page 276 / 451 » Regular expression patterns |
128
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Named entity recognition studies the problem of locating and classifying parts of free text into a set of predefined categories. Although extensive research has focused on the de...
154
click to vote
PAM
2010
Springer
15 years 10 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
122
click to vote
CAV
1999
Springer
15 years 7 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
143
Voted
ANCS
2007
ACM
15 years 7 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
141
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...