Sciweavers

8959 search results - page 1735 / 1792
» Composing aspects with aspects
Sort
View
JCP
2007
105views more  JCP 2007»
13 years 9 months ago
Intuitive Network Applications: Learning for Personalized Converged Services Involving Social Networks
Abstract— The convergence of the wireline telecom, wireless telecom, and internet networks and the services they provide offers tremendous opportunities in services personalizati...
Robert Dinoff, Tin Kam Ho, Richard Hull, Bharat Ku...
TOG
2008
171views more  TOG 2008»
13 years 9 months ago
3D unsharp masking for scene coherent enhancement
We present a new approach for enhancing local scene contrast by unsharp masking over arbitrary surfaces under any form of illumination. Our adaptation of a well-known 2D technique...
Tobias Ritschel, Kaleigh Smith, Matthias Ihrke, Th...
JFP
2007
111views more  JFP 2007»
13 years 9 months ago
Mechanizing metatheory in a logical framework
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
Robert Harper, Daniel R. Licata
JFR
2007
176views more  JFR 2007»
13 years 9 months ago
Two years of Visual Odometry on the Mars Exploration Rovers
NASA’s two Mars Exploration Rovers (MER) have successfully demonstrated a robotic Visual Odometry capability on another world for the first time. This provides each rover with ...
Mark W. Maimone, Yang Cheng, Larry Matthies
JIB
2007
172views more  JIB 2007»
13 years 9 months ago
The ABC (Analysing Biomolecular Contacts)-database
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...
Peter Walter, Sam Ansari, Volkhard Helms
« Prev « First page 1735 / 1792 Last » Next »