Sciweavers

80 search results - page 8 / 16
» Talking about ABSS: Functional Descriptions of Models
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
AAAI
2012
12 years 12 months ago
Relative Attributes for Enhanced Human-Machine Communication
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...
Devi Parikh, Adriana Kovashka, Amar Parkash, Krist...
NAR
2011
277views Computer Vision» more  NAR 2011»
14 years 13 days ago
The 2011 Nucleic Acids Research Database Issue and the online Molecular Biology Database Collection
The current 18th Database Issue of Nucleic Acids Research features descriptions of 96 new and 83 updated online databases covering various areas of molecular biology. It includes ...
Michael Y. Galperin, Guy Cochrane
WWW
2002
ACM
15 years 10 months ago
RQL: a declarative query language for RDF
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
Gregory Karvounarakis, Sofia Alexaki, Vassilis Chr...
BMCBI
2010
148views more  BMCBI 2010»
14 years 4 months ago
SKPDB: a structural database of shikimate pathway enzymes
Background: The functional and structural characterisation of enzymes that belong to microbial metabolic pathways is very important for structure-based drug design. The main inter...
Helen A. Arcuri, Geraldo F. D. Zafalon, Evandro A....