3713 search results - page 365 / 743 » Constructing a Calculus of Programs |
160
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
181
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
154
click to vote
ISPD
2006
ACM
15 years 10 months ago
2006
ACM
Linear programming (LP) based methods are attractive for solving the placement problem because of their ability to model Half-Perimeter Wirelength (HPWL) and timing. However, it h...
141
click to vote
SEUS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
133
click to vote
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...