8337 search results - page 1206 / 1668 » Reasoning With Characteristic Models |
165
click to vote
JOT
2006
15 years 6 months ago
2006
"Nature" and "Perspective" have similar meaning for Eclipse developers and for personnel in a software product line organization. The nature of product line wo...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
143
Voted
LOGCOM
2006
15 years 6 months ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
127
click to vote
MSCS
2006
15 years 6 months ago
2006
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
181
click to vote
PAMI
2008
15 years 6 months ago
2008
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...