95 search results - page 15 / 19 » A rational quartic B |
MKM
2009
Springer
14 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Relay cooperation has been recognized as an important mechanism to enhance connectivity and throughput in multi-hop wireless networks, especially under varying channel c...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
The vulnerable air interface, device level constraints, and insecure encryption techniques of wireless networks have naturally increased the chance of attacker obtaining users inf...
COLT
2007
Springer
14 years 4 months ago
2007
Springer
In the standard model of observational learning, n agents sequentially decide between two alternatives a or b, one of which is objectively superior. Their choice is based on a stoc...
SIGITE
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...