759 search results - page 151 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
WECWIS
2007
IEEE
13 years 11 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ECTEL
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Teachers know their students because they interact with them face-to...
3DPVT
2006
IEEE
13 years 6 months ago
2006
IEEE
This paper introduces a feature based method for the fast generation of sparse 3D point clouds from multiple images with known pose. We extract sub-pixel edge elements (2D positio...
BMCBI
2008
13 years 5 months ago
2008
Background: We propose a statistically principled baseline correction method, derived from a parametric smoothing model. It uses a score function to describe the key features of b...
BMCBI
2006
13 years 4 months ago
2006
Background: Detection of periodically expressed genes from microarray data without use of known periodic and non-periodic training examples is an important problem, e.g. for ident...