949 search results - page 121 / 190 » Theory of Constraints |
JAR
2008
15 years 18 days ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
78
Voted
JUCS
2008
15 years 17 days ago
2008
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
106
Voted
RC
2002
15 years 8 days ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
92
Voted
PUC
2008
15 years 2 days ago
2008
In this paper, we present results from a study of mobile ticketing service adoption in public transportation. The theoretical background of the study is based on technology adoptio...
109
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...