11345 search results - page 377 / 2269 » Foundations of Computer Science |
180
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
176
click to vote
COMPGEOM
2006
ACM
16 years 22 days ago
2006
ACM
In a Batched Colored Intersection Searching Problem (CI), one is given a set of n geometric objects (of a certain class). Each object is colored by one of c colors, and the goal i...
164
click to vote
ACSC
2005
IEEE
16 years 12 days ago
2005
IEEE
Curriculum based on internetworking devices is primarily based on the Command Line Interface (CLI) and case studies. However a single CLI command may produce output that is not on...
178
click to vote
MIR
2005
ACM
16 years 10 days ago
2005
ACM
Learning semantics from annotated images to enhance content-based retrieval is an important research direction. In this paper, annotation data are assumed available for only a sub...
174
click to vote
FCT
2005
Springer
16 years 8 days ago
2005
Springer
Usually, for bin packing problems, we try to minimize the number of bins used or in the case of the dual bin packing problem, maximize the number or total size of accepted items. ...