2050 search results - page 243 / 410 » A formal foundation for process modeling |
168
click to vote
IJCSA
2007
15 years 6 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
161
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
121
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
173
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
175
click to vote
COLT
2004
Springer
16 years 1 days ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...