6149 search results - page 522 / 1230 » Revealing the programming process |
229
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
200
click to vote
SNPD
2003
15 years 8 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
187
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
139
click to vote
IJET
2007
15 years 7 months ago
2007
— This paper introduces the Online Customization and Enrollment Application Network (OCEAN), developed in the School of Engineering at the University of Bridgeport. OCEAN is an i...
225
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We have developed methods for segmentation and tracking of cells in time-lapse phase-contrast microscopy images. Our multi-object Bayesian algorithm detects and tracks large num...