2635 search results - page 299 / 527 » Computing multihomogeneous resultants using straight-line pr... |
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
FMCAD
2004
Springer
14 years 4 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
Previous research suggests that graphical metaphor should increase the usability of visual programming languages (VPLs) by providing an instructional aid when learning to use the ...
CIMCA
2008
IEEE
14 years 5 months ago
2008
IEEE
Research in reinforcement learning has produced algorithms for optimal decision making under uncertainty that fall within two main types. The first employs a Bayesian framework, ...
SIGCSE
2009
ACM
14 years 11 months ago
2009
ACM
How suitable is a Python-based CS1 course as preparation for a C++-based CS2 course? After fifteen years of using C++ for both CS1 and CS2, the Computer Science Department at Mich...