Sciweavers

21094 search results - page 45 / 4219
» An experiment using DLV-K
Sort
View
52
Voted
SIGIR
2002
ACM
15 years 12 days ago
Experiments on data fusion using headline information
Xiao Mang Shou, Mark Sanderson
101
Voted
TSE
1998
131views more  TSE 1998»
15 years 12 days ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
78
Voted
QRE
2008
223views more  QRE 2008»
15 years 7 days ago
Recommendations on the use of Bayesian optimal designs for choice experiments
Roselinde Kessels, Bradley Jones, Peter Goos, Mart...
39
Voted
ICRA
2010
IEEE
90views Robotics» more  ICRA 2010»
14 years 11 months ago
Circulation of curves using vector fields: Actual robot experiments in 2D and 3D workspaces
Vinicius Mariano Gonçalves, Luciano C. A. P...