Sciweavers

1941 search results - page 247 / 389
» The representation of planning strategies
Sort
View
LICS
2008
IEEE
16 years 24 days ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 5 months ago
Generalized Bilateral MIMO Control by States Convergence with time delay and application for the teleoperation of a 2-DOF helico
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
Claudia Pérez-D'Arpino, Wilfredis Medina Me...
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 7 months ago
Reasoning About Approximate Match Query Results
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...
Sudipto Guha, Nick Koudas, Divesh Srivastava, Xiao...
ICSE
2010
IEEE-ACM
15 years 11 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
ESWA
2008
219views more  ESWA 2008»
15 years 6 months ago
Business intelligence approach to supporting strategy-making of ISP service management
The recent deregulation of telecommunication industry by the Taiwanese government has brought about the acute competition for Internet Service Providers (ISP). Taiwan's ISP i...
Sheng-Tun Li, Li-Yen Shue, Shu-Fen Lee