2623 search results - page 486 / 525 » Hoare Logic in the Abstract |
61
Voted
JMS
2010
14 years 4 months ago
2010
Abstract Health examinations play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to assist clinic...
TCIAIG
2010
14 years 4 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
107
click to vote
ISCAS
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...
CN
2011
14 years 1 months ago
2011
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...
109
click to vote
DLOG
2011
14 years 1 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...