Sciweavers

6010 search results - page 173 / 1202
» Computational Approaches to Drug Design
Sort
View
95
Voted
ICPR
2004
IEEE
16 years 1 months ago
A Bayesian Approach for 3D Models Retrieval Based on Characteristic Views
The management of big databases of threedimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easil...
Jean-Philippe Vandeborre, Mohamed Daoudi, Tarik Fi...
121
Voted
ACSC
2004
IEEE
15 years 4 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
EDOC
2011
IEEE
14 years 17 days ago
Value-Based Service Bundling: A Customer-Supplier Approach
Abstract—Due to future ubiquitous service environments, approaches for dynamic delivery of services face new challenges. Since the web 2.0 gave to customers the change to interac...
Iván S. Razo-Zapata, Pieter De Leenheer, Ja...
112
Voted
BCS
2008
15 years 2 months ago
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
Qiang Liu, George A. Constantinides, Konstantinos ...
107
Voted
SPIN
2010
Springer
14 years 11 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper