1092 search results - page 83 / 219 » Do summaries help |
138
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
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 ...
103
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
‘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...
144
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— 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...
121
click to vote
FPT
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
129
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...