4581 search results - page 913 / 917 » Computing Transformation Semigroups |
128
Voted
ICCAD
2009
IEEE
15 years 16 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
138
Voted
IGARSS
2009
15 years 15 days ago
2009
A problem when working with optical satellite or airborne images is the need to compensate for changes in the illumination conditions at the time of acquisition. This is particula...
151
click to vote
DKE
2010
15 years 5 days ago
2010
Trajectories are spatio-temporal traces of moving objects which contain valuable information to be harvested by spatio-temporal data mining techniques. Applications like city traf...
146
Voted
BIOINFORMATICS
2011
14 years 9 months ago
2011
Motivation: Analysis and intervention in the dynamics of gene regulatory networks is at the heart of emerging efforts in the development of modern treatment of numerous ailments i...
176
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...