890 search results - page 124 / 178 » Improving the Consistency of Relative Map |
105
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
APBC
2003
14 years 11 months ago
2003
The development of microarray technology has supplied a large volume of data to many fields. In particular, it has been applied to prediction and diagnosis of cancer, so that it e...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
101
click to vote
CSL
2006
Springer
14 years 9 months ago
2006
Springer
A novel technique for maximum "a posteriori" (MAP) adaptation of maximum entropy (MaxEnt) and maximum entropy Markov models (MEMM) is presented. The technique is applied...
NAR
2006
14 years 9 months ago
2006
G-protein coupled receptors (GPCRs) represent one of the most important families of drug targets in pharmaceutical development. GPCR-LIgand DAtabase (GLIDA) is a novel public GPCR...