Sciweavers

140 search results - page 2 / 28
» About these proceedings
Sort
View
USENIX
2004
13 years 7 months ago
How Xlib Is Implemented (and What We're Doing About It)
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...
Jamey Sharp
COLING
2007
13 years 6 months ago
Computational Linguistics: What About the Linguistics?
eneral, the notion that computation in a serious sense, not just as some highly abstract grounding or, maybe, politically correct meta-reference, has something important to say to ...
Karen Spärck Jones
AML
2006
83views more  AML 2006»
13 years 6 months ago
The Medvedev lattice of computably closed sets
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
Sebastiaan Terwijn
C5
2010
IEEE
13 years 11 months ago
CodeTalk
—Contemporary development environments do not directly and explicitly support developers in having a conversation about the code they write and maintain. This problem is aggravat...
Bastian Steinert, Marcel Taeumel, Jens Lincke, Tob...
AMAST
2004
Springer
13 years 11 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs