Sciweavers

1092 search results - page 83 / 219
» Do summaries help
Sort
View
TABLEAUX
2007
Springer
15 years 10 months ago
Axiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
Franz Baader, Rafael Peñaloza
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
15 years 10 months ago
More: A Mobile Open Rich Media Environment
‘Rich media’ is a term that implies the integration of all of the advances we have made in the mobile space delivering music, speech, text, graphics and video. This is true, b...
Vidya Setlur, Tolga K. Çapin, Suresh Chittu...
VTC
2006
IEEE
106views Communications» more  VTC 2006»
15 years 10 months ago
Rate Regions of Asymmetrical Multiple Access with Receive Diversity
— Based on the specification of a high-throughput wireless local area network system we consider the achievable rate regions of time, frequency and code division multiple access...
Thomas Deckert, Sebastian Kaiser, Gerhard Fettweis
FPT
2005
IEEE
134views Hardware» more  FPT 2005»
15 years 10 months ago
Post-Silicon Debug Using Programmable Logic Cores
Producing a functionally correct integrated circuit is becoming increasingly difficult. No matter how careful a designer is, there will always be integrated circuits that are fabr...
Bradley R. Quinton, Steven J. E. Wilton
LICS
2005
IEEE
15 years 10 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich