2153 search results - page 368 / 431 » From Requirements Models to Formal Specifications in B |
CEC
2007
IEEE
14 years 11 months ago
2007
IEEE
— Cultured natural cortical neurons form functional networks through a complex set of developmental steps during the first weeks in vitro. The dynamic behavior of the network in...
LOGCOM
2008
14 years 9 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
IEEEMM
2002
14 years 9 months ago
2002
measuring the product's "lower abstraction attributes."5 We see attributes as measurable properties of an entity--here, a Web application--and propose using a qualit...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
Range imaging has become a critical component of many computer vision applications. The quality of the depth data is of critical importance, but so is the need for speed. Shuttere...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...