3222 search results - page 525 / 645 » A Data Model for Effectively Computable Functions |
105
click to vote
CVPR
2012
IEEE
13 years 9 days ago
2012
IEEE
Scene labeling research has mostly focused on outdoor scenes, leaving the harder case of indoor scenes poorly understood. Microsoft Kinect dramatically changed the landscape, show...
ACL
2012
13 years 9 days ago
2012
Long distance word reordering is a major challenge in statistical machine translation research. Previous work has shown using source syntactic trees is an effective way to tackle ...
BMCBI
2010
14 years 10 months ago
2010
Background: Whole-genome sequence alignment is an essential process for extracting valuable information about the functions, evolution, and peculiarities of genomes under investig...
118
click to vote
HASKELL
2009
ACM
15 years 4 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Cognitive radio networks provide the capability to share the wireless channel with licensed (primary) users in an opportunistic manner. Primary users have a license to operate i...