2013 search results - page 42 / 403 » Happy New Year |
182
click to vote
JAPLL
2006
15 years 6 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
139
click to vote
CCR
2004
15 years 6 months ago
2004
This paper introduces a new set of long duration captures of Internet traffic headers. The capture is being performed on a continuous on-going basis and is approaching a year in d...
191
click to vote
TREC
2007
15 years 7 months ago
2007
This paper reports on Lymba Corporation’s (a spinoff of Language Computer Corporation) participation in the TREC 2007 Question Answering track. An overview of the PowerAnswer 4 ...
140
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
171
click to vote
DDECS
2007
IEEE
16 years 18 days ago
2007
IEEE
– Algorithmic State Machines are a 40-year old tool for the design of digital circuits. They are a good alternative to Finite State Machines, where only states can be properly de...