5550 search results - page 255 / 1110 » Different Approaches to Proof Systems |
219
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
203
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
176
click to vote
CSMR
2007
IEEE
16 years 29 days ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
154
click to vote
CONTEXT
2007
Springer
16 years 24 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
157
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Tying suture knots is a time-consuming task performed frequently during Minimally Invasive Surgery (MIS). Automating this task could greatly reduce total surgery time f...