Sciweavers

11653 search results - page 185 / 2331
» The Development of the C Language
Sort
View
175
Voted
CEFP
2007
Springer
15 years 9 months ago
Proving Properties of Lazy Functional Programs with Sparkle
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
141
Voted
HPCC
2007
Springer
15 years 9 months ago
Towards a Complexity Model for Design and Analysis of PGAS-Based Algorithms
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
Mohamed Bakhouya, Jaafar Gaber, Tarek A. El-Ghazaw...
142
Voted
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 7 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
103
Voted
LREC
2010
184views Education» more  LREC 2010»
15 years 5 months ago
New Features in Spoken Language Search Hawk (SpLaSH): Query Language and Query Sequence
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
Sara Romano, Francesco Cutugno
104
Voted
LREC
2010
168views Education» more  LREC 2010»
15 years 2 months ago
Language Technology Challenges of a 'Small' Language (Catalan)
In this paper, we present a brief snapshot of the state of affairs in computational processing of Catalan and the initiatives that are starting to take place in an effort to bring...
Maite Melero, Gemma Boleda, Montse Cuadros, Cristi...