3053 search results - page 573 / 611 » A Logic of Abstract Argumentation |
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ICUMT
2009
13 years 5 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
ADVSE
2010
13 years 2 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
TVCG
2011
13 years 2 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
JMS
2010
13 years 2 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...