Sciweavers

1729 search results - page 319 / 346
» Generic Haskell: Applications
Sort
View
PADL
2012
Springer
12 years 4 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
PAM
2012
Springer
12 years 4 months ago
OFLOPS: An Open Framework for OpenFlow Switch Evaluation
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
Charalampos Rotsos, Nadi Sarrar, Steve Uhlig, Rob ...
POPL
2012
ACM
12 years 4 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
CVPR
2009
IEEE
15 years 4 months ago
Constrained Marginal Space Learning for Efficient 3D Anatomical Structure Detection in Medical Images
Recently, we proposed marginal space learning (MSL) as a generic approach for automatic detection of 3D anatom- ical structures in many medical imaging modalities. To accurately...
Yefeng Zheng, Bogdan Georgescu, Haibin Ling, Shaoh...
CVPR
2009
IEEE
15 years 4 months ago
Dictionary-Free Categorization of Very Similar Objects via Stacked Evidence Trees
Current work in object categorization discriminates among objects that typically possess gross differences which are readily apparent. However, many applications require making ...
Andrew Moldenke, Asako Yamamuro, David A. Lytle, E...