634 search results - page 91 / 127 » Completion Procedures as Semidecision Procedures |
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—A 333MHz-1GHz all-digital multiphase delay-locked loop with precise multi-phase output has been designed with TSMC 130nm CMOS technology model. A modified binary search algorith...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
In the DEZENT1 project we had established a distributed base model for negotiating electric power from widely distributed (renewable) power sources on multiple levels in successio...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Slepian-Wolf coding is a promising distributed source coding technique that can completely remove the data redundancy caused by the spatially correlated observations in wireless...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...