Sciweavers

387 search results - page 49 / 78
» date 2005
Sort
View
JCSS
2007
88views more  JCSS 2007»
14 years 10 months ago
Counting lattice vectors
We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is â™...
Denis Xavier Charles
SEMWEB
2005
Springer
15 years 3 months ago
Paraconsistent Reasoning for the Semantic Web
Due to the Semantic Web’s decentralised and distributed management, contradictory information is and will remain frequent. However, classical reasoning systems fail to work prop...
Sebastian Schaffert, François Bry, Philippe...
DATE
2007
IEEE
130views Hardware» more  DATE 2007»
15 years 4 months ago
Development of on board, highly flexible, Galileo signal generator ASIC
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...
Louis Baguena, Emmanuel Liégeon, Alexandra ...
80
Voted
ISPW
2005
IEEE
15 years 3 months ago
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin C...
ITRE
2005
IEEE
15 years 3 months ago
Integrated use of Web technologies to deliver a secure collaborative Web portal
This paper describes the design and operation of the OMII web site, which has to date achieved three major targets. The first target is the successful integrations in different te...
Victor Chang