10055 search results - page 220 / 2011 » Structured programming using processes |
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
EACL
1989
ACL Anthology
13 years 11 months ago
1989
ACL Anthology
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...
HOTOS
2007
IEEE
14 years 2 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
IJCAI
2003
14 years 14 hour ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
BMCBI
2008
13 years 10 months ago
2008
Background: Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from ...