2989 search results - page 206 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
103
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
Although flattening a cortical surface necessarily introduces metric distortion due to the non-constant Gaussian curvature of the surface, the Riemann Mapping Theorem states that ...
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
While conditional random fields (CRFs) have been applied successfully in a variety of domains, their training remains a challenging task. In this paper, we introduce a novel trai...
130
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
146
click to vote
FORMATS
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...