Sciweavers

5544 search results - page 951 / 1109
» Three Inadequate Models
Sort
View
97
Voted
ADHOCNETS
2009
Springer
15 years 4 months ago
Improved Topology Control Algorithms for Simple Mobile Networks
Topology control is the problem of assigning powers to the nodes of an ad hoc network so as to create a specified network topology while minimizing the energy consumed by the netw...
Fei Che, Errol L. Lloyd, Liang Zhao
ARGMAS
2009
Springer
15 years 4 months ago
Burden of Proof in Deliberation Dialogs
The literature in argumentation and artificial intelligence has distinguished five types of burden of proof in persuasion dialogs, but there appears to have been no serious invest...
Douglas Walton
97
Voted
ASM
2010
ASM
15 years 4 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
93
Voted
ICRA
2008
IEEE
147views Robotics» more  ICRA 2008»
15 years 4 months ago
Swimming capsule endoscope using static and RF magnetic field of MRI for propulsion
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
Gabor Kosa, Peter Jakab, Ferenc A. Jolesz, Nobuhik...
90
Voted
MICRO
2008
IEEE
114views Hardware» more  MICRO 2008»
15 years 4 months ago
Toward a multicore architecture for real-time ray-tracing
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
Venkatraman Govindaraju, Peter Djeu, Karthikeyan S...