Sciweavers

2763 search results - page 81 / 553
» The Dangerous 'All' in Specifications
Sort
View
ACL
2008
13 years 10 months ago
A Probabilistic Model for Fine-Grained Expert Search
Expert search, in which given a query a ranked list of experts instead of documents is returned, has been intensively studied recently due to its importance in facilitating the ne...
Shenghua Bao, Huizhong Duan, Qi Zhou, Miao Xiong, ...
FMOODS
2008
13 years 10 months ago
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...
GRAPHICSINTERFACE
2008
13 years 10 months ago
Geometric displacement on plane and sphere
This paper describes a new algorithm for geometric displacement mapping. Its key idea is that all occluded solutions for an eye ray lie in two-dimensional manifolds perpendicular ...
Elodie Fourquet, William Cowan, Stephen Mann
FLAIRS
1998
13 years 10 months ago
ProbSy--A System for the Calculation of Probabilities in the Card Game Bridge
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
Anders L. Madsen, Lars M. Nielsen, Finn Verner Jen...
ISMB
1997
13 years 10 months ago
Protein Folding Class Predictor for SCOP: Approach Based on Global Descriptors
This workdemonstrates newtechniques developed for the prediction of protein folding class in the context of the most comprehensiveStructural Classification of Proteins (SCOP). The...
Inna Dubchak, Ilya B. Muchnik, Sung-Hou Kim