Sciweavers

4743 search results - page 382 / 949
» The PlusCal Algorithm Language
Sort
View
FGCS
2010
129views more  FGCS 2010»
15 years 3 months ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...
AND
2010
15 years 2 months ago
Discovering users' topics of interest on twitter: a first look
Twitter, a micro-blogging service, provides users with a framework for writing brief, often-noisy postings about their lives. These posts are called "Tweets." In this pa...
Matthew Michelson, Sofus A. Macskassy
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
15 years 2 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...
PAAMS
2010
Springer
15 years 2 months ago
A Case Study on Grammatical-Based Representation for Regular Expression Evolution
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
Antonio González-Pardo, David F. Barrero, D...
ACL
2009
15 years 2 months ago
A Rose is a Roos is a Ruusu: Querying Translations for Web Image Search
We query Web Image search engines with words (e.g., spring) but need images that correspond to particular senses of the word (e.g., flexible coil). Querying with polysemous words ...
Janara Christensen, Mausam, Oren Etzioni