Sciweavers

77 search results - page 7 / 16
» Procedure based help desk system
Sort
View
JCB
2006
79views more  JCB 2006»
13 years 10 months ago
A Stability Boundary Based Method for Finding Saddle Points on Potential Energy Surfaces
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micromolecule as well as in studying the folding pathways of...
Chandan K. Reddy, Hsiao-Dong Chiang
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
14 years 4 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
IJDMBC
2010
115views more  IJDMBC 2010»
13 years 5 months ago
Near Optimum Power Control and Precoding under Fairness Constraints in Network MIMO Systems
Abstract--We consider the problem of setting the uplink signalto-noise-and-interference (SINR) target and allocating transmit powers for mobile stations in multicell spatial multip...
Gábor Fodor, Mikael Johansson, Pablo Soldat...
RECSYS
2009
ACM
14 years 5 months ago
TagiCoFi: tag informed collaborative filtering
Besides the rating information, an increasing number of modern recommender systems also allow the users to add personalized tags to the items. Such tagging information may provide...
Yi Zhen, Wu-Jun Li, Dit-Yan Yeung
PTS
2007
102views Hardware» more  PTS 2007»
14 years 8 days ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse