Sciweavers

15375 search results - page 66 / 3075
» cans 2008
Sort
View
WOTUG
2008
13 years 9 months ago
Communicating Haskell Processes: Composable Explicit Concurrency using Monads
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
Neil C. C. Brown
AIML
2006
13 years 9 months ago
Isomorphism via translation
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
Tadeusz Litak
IADIS
2004
13 years 9 months ago
E-girls - towards technology leads girls closer to engineering
The under-representation of women in technical fields can be seen all over the world. Engineering has traditionally been thought of as a masculine field and there is a lack of exe...
Marika Keskinen, Leena Korpinen
WICSA
2004
13 years 9 months ago
Real-time Collaboration in Activity-based Architectures
With the growing research into mobile and ubiquitous computing, there is a need for addressing how such infrastructures can support collaboration between nomadic users. We present...
Jakob Bardram, Henrik Bærbak Christensen
COLING
2000
13 years 9 months ago
An HPSG-to-CFG Approximation of Japanese
We present a simple approximation method for turning a Head-Driven Phrase Structure Grammar into a context-free grammar. The approximation method can be seen as the construction o...
Bernd Kiefer, Hans-Ulrich Krieger, Melanie Siegel