1864 search results - page 265 / 373 » Formal topology and domains |
186
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
194
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
185
Voted
SAINT
2006
IEEE
16 years 20 days ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
197
click to vote
JCDL
2006
ACM
16 years 19 days ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
165
click to vote
ASIAN
2005
Springer
16 years 6 days ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...