540 search results - page 57 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
181
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
108
click to vote
ICHIM
2001
15 years 7 months ago
2001
This paper poses the problem of designing Museum Appliances (MA), which are usable, i.e. easy to learn and easy to use. A recently proposed model of multimedia Human Computer Inte...
158
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
287
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
175
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...