Sciweavers

2849 search results - page 427 / 570
» As We Should Have Thought
Sort
View
AO
2006
127views more  AO 2006»
15 years 6 months ago
Formal ontology meets industry
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
Stefano Borgo, Matteo Cristani, Roberta Cuel
BMCBI
2002
214views more  BMCBI 2002»
15 years 6 months ago
Automated modelling of signal transduction networks
Background: Intracellular signal transduction is achieved by networks of proteins and small molecules that transmit information from the cell surface to the nucleus, where they ul...
Martin Steffen, Allegra Petti, John Aach, Patrik D...
NDJFL
1998
105views more  NDJFL 1998»
15 years 6 months ago
Idempotent Full Paraconsistent Negations are not Algebraizable
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
Jean-Yves Béziau
TIP
2011
169views more  TIP 2011»
15 years 1 months ago
From Local Pixel Structure to Global Image Super-Resolution: A New Face Hallucination Framework
Abstract—We have developed a new face hallucination framework termed from local pixel structure to global image super-resolution (LPS-GIS). Based on the assumption that two simil...
Yu Hu, Kin-Man Lam, Guoping Qiu, Tingzhi Shen
SIGMOD
2011
ACM
331views Database» more  SIGMOD 2011»
14 years 9 months ago
Query optimization techniques for partitioned tables
Table partitioning splits a table into smaller parts that can be accessed, stored, and maintained independent of one another. From their traditional use in improving query perform...
Herodotos Herodotou, Nedyalko Borisov, Shivnath Ba...