Sciweavers

659 search results - page 64 / 132
» Binding as sets of scopes
Sort
View
104
Voted
NAR
2007
155views more  NAR 2007»
15 years 2 days ago
AthaMap web tools for the analysis and identification of co-regulated genes
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...
Claudia Galuschka, Martin Schindler, Lorenz Bü...
IJAR
2007
96views more  IJAR 2007»
15 years 14 days ago
Complexity measurement of fundamental pseudo-independent models
Pseudo-independent (PI) models are a special class of probabilistic domain model (PDM) where a set of marginally independent domain variables shows collective dependency, a specia...
J. Lee, Y. Xiang
100
Voted
POPL
2010
ACM
15 years 10 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
WCRE
2006
IEEE
15 years 6 months ago
An Orchestrated Multi-view Software Architecture Reconstruction Environment
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
Kamran Sartipi, Nima Dezhkam, Hossein Safyallah
94
Voted
IPPS
1999
IEEE
15 years 4 months ago
Parallel Out-of-Core Divide-and-Conquer Techniques with Application to Classification Trees
Classification is an important problem in the field of data mining. Construction of good classifiers is computationally intensive and offers plenty of scope for parallelization. D...
Mahesh K. Sreenivas, Khaled Alsabti, Sanjay Ranka