Sciweavers

6010 search results - page 173 / 1202
» Computational Approaches to Drug Design
Sort
View
ICPR
2004
IEEE
14 years 12 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...
ACSC
2004
IEEE
14 years 2 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
12 years 10 months 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...
BCS
2008
14 years 7 days 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 ...
SPIN
2010
Springer
13 years 9 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