289 search results - page 30 / 58 » A Direct Construction of a Universal Extended H System |
APVIS
2009
14 years 10 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Automatic recognition of named entities such as people, places, organizations, books, and movies across the entire web presents a number of challenges, both of scale and scope. Da...
EXPCS
2007
15 years 1 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
GROUP
2007
ACM
15 years 1 months ago
2007
ACM
Being aware of others' activities has played a vital role in the success of online collaboration. This resulted in the emergence of many groupware systems that provide users ...
ESOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...