540 search results - page 107 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
ASM
2008
ASM
13 years 7 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
JCDL
2010
ACM
13 years 10 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...
IFIP12
2004
13 years 6 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
PLDI
2009
ACM
14 years 6 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...