10910 search results - page 1863 / 2182 » Input modeling using a computer algebra system |
159
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
168
click to vote
LFCS
2007
Springer
16 years 11 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
142
click to vote
HICSS
2006
IEEE
16 years 9 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
178
click to vote
IROS
2006
IEEE
16 years 8 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
195
click to vote
QEST
2006
IEEE
16 years 7 days ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...