7167 search results - page 164 / 1434 » A Technique for Invariant Generation |
213
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
193
Voted
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
304
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
- Gene regulatory networks allow us to study and understand genes’ roles in biological processes. Among others, regulatory networks help to identify pathway initiator genes and t...
215
click to vote
HICSS
2005
IEEE
16 years 21 days ago
2005
IEEE
Association rule mining in real-time is of increasing thrust in many business applications. Applications such as e-commerce, recommender systems, supply-chain management and group...
144
click to vote
ISCAS
2005
IEEE
16 years 20 days ago
2005
IEEE
—A new sub-1-V curvature-compensated CMOS bandgap reference, which utilizes the temperature-dependent currents generated from the parasitic n-p-n and p-n-p bipolar junction trans...