3299 search results - page 37 / 660 » A general mathematics of names |
123
click to vote
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
100
click to vote
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
100
click to vote
ITNG
2006
IEEE
15 years 5 months ago
2006
IEEE
The huge volumes of biomedical texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information. ...
ICSE
1998
IEEE-ACM
15 years 4 months ago
1998
IEEE-ACM
Decomposing complex software systems into conceptually independent subsystems is a significant software engineering activity which received considerable research attention. Most o...