Sciweavers

1980 search results - page 197 / 396
» On the Associative Nijenhuis Relation
Sort
View
NAR
2007
109views more  NAR 2007»
15 years 25 days ago
GeneTrees: a phylogenomics resource for prokaryotes
The GeneTrees phylogenomics system pursues comparative genomic analyses from the perspective of gene phylogenies for individual genes. The GeneTrees project has the goal of provid...
Yuying Tian, Allan W. Dickerman
PAMI
2007
123views more  PAMI 2007»
15 years 25 days ago
Unsupervised Statistical Segmentation of Nonstationary Images Using Triplet Markov Fields
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
Dalila Benboudjema, Wojciech Pieczynski
PVLDB
2008
122views more  PVLDB 2008»
15 years 24 days ago
Identifying robust plans through plan diagram reduction
Estimates of predicate selectivities by database query optimizers often differ significantly from those actually encountered during query execution, leading to poor plan choices a...
Harish D., Pooja N. Darera, Jayant R. Haritsa
SAC
2008
ACM
15 years 24 days ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
IANDC
2010
125views more  IANDC 2010»
14 years 12 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat