1071 search results - page 85 / 215 » Programming with enumerable sets of structures |
113
Voted
SAS
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
99
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
102
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a practical algorithm that provably achieves the global optimum for a class of bilinear programs commonly arising in computer vision applications. Our approach relies o...
106
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
118
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...