3634 search results - page 528 / 727 » The Field Representation Language |
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
235
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
182
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...
253
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In late May, 2008, a group of database researchers, architects, users and pundits met at the Claremont Resort in Berkeley, California to discuss the state of the research field an...
186
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Search engines that support structured documents typically support structure created by the author (e.g., title, section), and may also support structure added by an annotation pr...