Sciweavers

6300 search results - page 232 / 1260
» We have it easy, but do we have it right
Sort
View
ECLIPSE
2006
ACM
15 years 7 months ago
A focused learning environment for Eclipse
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
Izzet Safer, Gail C. Murphy, Julie Waterhouse, Jin...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 6 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
SPIESR
2001
105views Database» more  SPIESR 2001»
15 years 3 months ago
Video summarization using motion descriptors
We describe a technique for video summarization that uses motion descriptors computed in the compressed domain to speed up conventional color based video summarization technique. ...
Ajay Divakaran, Kadir A. Peker, Huifang Sun
JAIR
2010
130views more  JAIR 2010»
14 years 8 months ago
Interactive Cost Configuration Over Decision Diagrams
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
IROS
2008
IEEE
111views Robotics» more  IROS 2008»
15 years 8 months ago
Learning perceptual coupling for motor primitives
—Dynamic system-based motor primitives [1] have enabled robots to learn complex tasks ranging from Tennisswings to locomotion. However, to date there have been only few extension...
Jens Kober, Betty J. Mohler, Jan Peters