278 search results - page 47 / 56 » A Framework for Counterexample Generation and Exploration |
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We compare two alternative mechanisms for capping prices in two-settlement electricity markets. With sufficient lead time and competitive entry opportunities, forward ...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
An increasing percentage of the data needed by business applications is being generated in XML format. Storing the XML in its native format will facilitate new applications that e...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
CHI
2007
ACM
14 years 12 days ago
2007
ACM
Using data from a popular online social network site, this paper explores the relationship between profile structure (namely, which fields are completed) and number of friends, gi...