1128 search results - page 152 / 226 » Classical Natural Deduction |
102
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
110
click to vote
ICDCSW
2005
IEEE
15 years 6 months ago
2005
IEEE
Anomaly detection in IP networks, detection of deviations from what is considered normal, is an important complement to misuse detection based on known attack descriptions. Perfor...
124
Voted
ICDM
2005
IEEE
15 years 6 months ago
2005
IEEE
Organizing textual documents into a hierarchical taxonomy is a common practice in knowledge management. Beside textual features, the hierarchical structure of directories reflect...
120
Voted
ISIPTA
2005
IEEE
15 years 6 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
104
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...