Sciweavers

1519 search results - page 217 / 304
» What do they think
Sort
View
DOCENG
2007
ACM
15 years 10 months ago
Logical document conversion: combining functional and formal knowledge
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
Hervé Déjean, Jean-Luc Meunier
ATAL
2006
Springer
15 years 9 months ago
Agent interaction in distributed POMDPs and its implications on complexity
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
Jiaying Shen, Raphen Becker, Victor R. Lesser
BIRTHDAY
2006
Springer
15 years 9 months ago
Reductio ad Absurdum: Planning Proofs by Contradiction
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
Erica Melis, Martin Pollet, Jörg H. Siekmann
CW
2004
IEEE
15 years 9 months ago
Modeling of Bodies and Clothes for Virtual Environments
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
Nadia Magnenat-Thalmann, Frederic Cordier, Hyewon ...
EH
2004
IEEE
99views Hardware» more  EH 2004»
15 years 9 months ago
Advances in Magnetized Plasma Propulsion and Radiation Shielding
Mini-mangetosphere, that is magnetic field inflated by the injection of plasma have several applications key to the exploration of space, including radiation shielding and augment...
Robert Winglee