Sciweavers

1534 search results - page 243 / 307
» Error Reporting Logic
Sort
View
JFP
2008
97views more  JFP 2008»
13 years 8 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey
ICRA
2010
IEEE
164views Robotics» more  ICRA 2010»
13 years 8 months ago
Biomimetic motor behavior for simultaneous adaptation of force, impedance and trajectory in interaction tasks
— Interaction of a robot with dynamic environments would require continuous adaptation of force and impedance, which is generally not available in current robot systems. In contr...
Ganesh Gowrishankar, Alin Albu-Schäffer, Haru...
IJRR
2010
144views more  IJRR 2010»
13 years 8 months ago
Equilibrium Conformations of Concentric-tube Continuum Robots
Robots consisting of several concentric, preshaped, elastic tubes can work dexterously in narrow, constrained, and/or winding spaces, as are commonly found in minimally invasive s...
D. Caleb Rucker, Robert J. Webster III, Gregory S....
INFOCOM
2010
IEEE
13 years 8 months ago
Two Samples are Enough: Opportunistic Flow-level Latency Estimation using NetFlow
—The inherent support in routers (SNMP counters or NetFlow) is not sufficient to diagnose performance problems in IP networks, especially for flow-specific problems where the ...
Myungjin Lee, Nick G. Duffield, Ramana Rao Kompell...
IPM
2010
134views more  IPM 2010»
13 years 8 months ago
Breakdowns in collaborative information seeking: A study of the medication process
Collaborative information seeking is integral to many professional activities. In hospital work, the medication process encompasses continual seeking for information and collaborat...
Morten Hertzum