Sciweavers

2436 search results - page 207 / 488
» Comonadic Notions of Computation
Sort
View
JSC
2000
68views more  JSC 2000»
15 years 6 months ago
New Structure Theorem for Subresultants
We give a new structure theorem for subresultants precising their gap structure and derive from it a new algorithm for computing them. If d is a bound on the degrees and a bound o...
Henri Lombardi, Marie-Françoise Roy, Mohab ...
HAID
2010
Springer
15 years 5 months ago
The Influence of Angle Size in Navigation Applications Using Pointing Gestures
One factor which can be expected to influence performance in applications where the user points a device in some direction to obtain information is the angle interval in which the ...
Charlotte Magnusson, Kirsten Rassmus-Gröhn, D...
ICRA
2010
IEEE
114views Robotics» more  ICRA 2010»
15 years 5 months ago
Navigating multiple simple-airplanes in 3D workspace
Abstract— We present an algorithm for collision-free navigation of multiple flying robots in three-dimensional workspace. Our approach extends the model of a simple car to a sim...
Jamie Snape, Dinesh Manocha
GAMESEC
2010
119views Game Theory» more  GAMESEC 2010»
15 years 4 months ago
Uncertainty in Interdependent Security Games
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
Benjamin Johnson, Jens Grossklags, Nicolas Christi...
NAACL
2010
15 years 4 months ago
Learning Dense Models of Query Similarity from User Click Logs
The goal of this work is to integrate query similarity metrics as features into a dense model that can be trained on large amounts of query log data, in order to rank query rewrit...
Fabio De Bona, Stefan Riezler, Keith Hall, Massimi...