Despite significant efforts to obtain an accurate picture of the Internet's actual connectivity structure at the level of individual autonomous systems (ASes), much has remai...
Ricardo V. Oliveira, Dan Pei, Walter Willinger, Be...
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
Techniques for color-based tracking of faces or hands often assume a static skin color model. However, skin color perceived by a camera can change when lighting changes. In common...
Maricor Soriano, Birgitta Martinkauppi, Sami Huovi...
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
Raf M. Podowski, John G. Cleary, Nicholas T. Gonch...
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...