16218 search results - page 209 / 3244 » Standards |
135
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
128
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...
149
click to vote
DCC
2002
IEEE
16 years 4 months ago
2002
IEEE
Wavelet-based image coders optimally represent smooth regions and isolated point singularities. However, wavelet coders are less adept at representing perceptually important edge ...
133
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
121
click to vote
HICSS
2010
IEEE
15 years 12 months ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...