1792 search results - page 29 / 359 » What Are We Arguing About |
WIFT
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
Inference tasks in Markov random fields (MRFs) are closely related to the constraint satisfaction problem (CSP) and its soft generalizations. In particular, MAP inference in MRF i...
SBIA
2004
Springer
14 years 1 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
COGSCI
2010
13 years 7 months ago
2010
A multi-modal person representation contains information about what a person looks like and what a person sounds like. However, little is known about how children form these face-...