2407 search results - page 386 / 482 » A Tool for Abstraction in Model Checking |
133
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
140
click to vote
IEAAIE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
165
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
163
Voted
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
221
click to vote
BXML
2004
15 years 7 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...