Sciweavers

4485 search results - page 238 / 897
» Equivalences on Observable Processes
Sort
View
ACCV
2009
Springer
15 years 8 months ago
Efficient Classification of Images with Taxonomies
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
Alexander Binder, Motoaki Kawanabe, Ulf Brefeld
117
Voted
CONCUR
2006
Springer
15 years 8 months ago
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
Yoshinao Isobe, Markus Roggenbach
CIIT
2007
133views Communications» more  CIIT 2007»
15 years 5 months ago
Linear-tree rule structure for firewall optimization
Given a list of filtering rules with individual hitting probabilities, it is known that the average processing time of a linear-search based firewall can be minimized by searchi...
Liang Zhao, A. Shimae, Hiroshi Nagamochi
MIE
2008
114views Healthcare» more  MIE 2008»
15 years 5 months ago
Aligning Lay and Specialized Passages in Comparable Medical Corpora
While the public has increasingly access to medical information, specialized medical language is often difficult for lay people to understand and there is a need to bridge the gap ...
Louise Deléger, Pierre Zweigenbaum
ACL
2006
15 years 5 months ago
Punjabi Machine Transliteration
Machine Transliteration is to transcribe a word written in a script with approximate phonetic equivalence in another language. It is useful for machine translation, cross-lingual ...
M. G. Abbas Malik