1982 search results - page 93 / 397 » Parametricity and dependent types |
121
click to vote
PG
2007
IEEE
15 years 11 months ago
2007
IEEE
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
149
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Since multimedia information is characterized by motley types of media with different properties, multimedia content retrieval in digital libraries requires dynamic reconfigurable...
113
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
124
click to vote
TSMC
2008
15 years 4 months ago
2008
We propose a technique to speedup the learning of the inverse kinematics of a robot manipulator by decomposing it into two or more virtual robot arms. Unlike previous decomposition...
156
click to vote
CACM
2008
15 years 4 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...