784 search results - page 75 / 157 » The logic of tasks |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...
JELIA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
IQ
2007
13 years 10 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...