10072 search results - page 1454 / 2015 » Composition of Model Programs |
200
click to vote
AGTIVE
2003
Springer
16 years 13 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
174
click to vote
CP
2003
Springer
16 years 12 days ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
176
click to vote
HICSS
2002
IEEE
16 years 4 days ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
206
click to vote
VTS
2002
IEEE
16 years 2 days ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
195
click to vote
IFIP
2010
Springer
15 years 12 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...