1397 search results - page 229 / 280 » On the Need for Practical Formal Methods |
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Identification of nodes relevant to a given node in a relational network is a basic problem in network analysis with great practical importance. Most existing network analysis ...
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
SSDBM
2008
IEEE
14 years 2 months ago
2008
IEEE
We consider approximate join processing over data streams when memory limitations cause incoming tuples to overflow the available space, precluding exact processing. Selective evi...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...