4743 search results - page 270 / 949 » The PlusCal Algorithm Language |
246
click to vote
TASE
2012
IEEE
13 years 11 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
168
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. This paper deals with approximations of maximum independent sets in non-uniform hypergraphs of low degree. We obtain the first performance ratio that is sublinear in term...
120
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we present a new method of baseline detection of online or offline short handwriting. This work is part of a large project for the edification of a dual online / off...
134
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
144
click to vote
SIGIR
2009
ACM
2009
ACM
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
15 years 10 months ago
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...