11097 search results - page 78 / 2220 » Hera presentation generator |
HT
2000
ACM
15 years 2 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
CSR
2008
Springer
14 years 11 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
LANMR
2007
14 years 11 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
In many business and consumer applications, queries have cardinality constraints. However, current database systems provide minimal support for cardinality assurance. Consequently...
ENGL
2008
14 years 10 months ago
2008
: This paper presents a method of the reformulation of equations in the inertial frame formulation, used for FEM models of flexible multibody systems, to the floating frame formula...