2909 search results - page 113 / 582 » Consistency of the theory of contexts |
149
click to vote
HICSS
2008
IEEE
16 years 24 days ago
2008
IEEE
Information systems (IS) research often attempts to examine and explain how technology leads to outcomes through usage of information technology (IT). Although extensive research ...
162
click to vote
JAIR
2010
15 years 4 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
170
click to vote
COORDINATION
2005
Springer
15 years 12 months ago
2005
Springer
Within one model, behavioural consistency of its constituents is often problematic. Within UML such horizontal behavioural consistency between the objects of a concrete model, is p...
165
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
297
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...