Sciweavers

2666 search results - page 371 / 534
» Computing with Evolving Proteins
Sort
View
ICCV
2003
IEEE
16 years 4 hour ago
How To Deal with Point Correspondences and Tangential Velocities in the Level Set Framework
In this paper, we overcome a major drawback of the level set framework: the lack of point correspondences. We maintain explicit backward correspondences from the evolving interfac...
Jean-Philippe Pons, Gerardo Hermosillo, Renaud Ker...
ICDCSW
2009
IEEE
15 years 4 months ago
An Approach to Middleware Specialization for Cyber Physical Systems
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...
Akshay Dabholkar, Aniruddha S. Gokhale
SBACPAD
2008
IEEE
206views Hardware» more  SBACPAD 2008»
15 years 4 months ago
A High Performance Massively Parallel Approach for Real Time Deformable Body Physics Simulation
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...
Thiago S. M. C. de Farias, Mozart W. S. Almeida, J...
GLOBECOM
2006
IEEE
15 years 4 months ago
On the Feasibility of Very Low Complexity Trust Modules Using PKPS Synergies
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
Mahalingam Ramkumar
KI
2004
Springer
15 years 3 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...