Sciweavers

236 search results - page 44 / 48
» Structural Distinctions Between Hypermedia Storage and Prese...
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
APCCM
2004
13 years 8 months ago
Putting Integrated Information in Context: Superimposing Conceptual Models with SPARCE
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...
Sudarshan Murthy, Lois M. L. Delcambre, David Maie...
BMCBI
2002
133views more  BMCBI 2002»
13 years 7 months ago
Identification and characterization of subfamily-specific signatures in a large protein superfamily by a hidden Markov model app
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
Kevin Truong, Mitsuhiko Ikura
CIKM
2009
Springer
14 years 2 hour ago
Low-cost management of inverted files for online full-text search
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
Giorgos Margaritis, Stergios V. Anastasiadis
CONEXT
2005
ACM
13 years 9 months ago
Location based placement of whole distributed systems
The high bandwidth and low latency of the modern internet has made possible the deployment of distributed computing platforms. The XenoServer platform provides a distributed compu...
David Spence, Jon Crowcroft, Steven Hand, Timothy ...