291 search results - page 36 / 59 » Generating Unit Tests from Formal Proofs |
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
160
click to vote
WIRN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
JCB
2006
14 years 9 months ago
2006
Biological signaling networks comprise the chemical processes by which cells detect and respond to changes in their environment. Such networks have been implicated in the regulati...
AVSS
2003
IEEE
15 years 2 months ago
2003
IEEE
We present a distributed vision-based surveillance system. The system acquires and processes grey level images through one or multiple Camera Units monitoring certain area(s) via ...