2452 search results - page 280 / 491 » On Reduction of Lagrange Systems |
221
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
178
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Follow The Sun (FTS) is a special case of global software development. FTS means that software work is handed off every day from one development site to the next -- many time zone...
165
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
167
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper explores the use of dynamic compilation for continuing execution even if one or more of the memory banks used by an application become temporarily unavailable (but th...
158
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Features derived from Multi-Layer Perceptrons (MLPs) are becoming increasingly popular for speech recognition. This paper describes various schemes for applying these features to ...