5622 search results - page 1008 / 1125 » Solving architectural modelling problems using knowledge |
149
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We pose the problem of 3D human tracking as one of inference in a graphical model. Unlike traditional kinematic tree representations, our model of the body is a collection of loos...
147
Voted
ISD
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...
148
Voted
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
139
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We report on an automated runtime anomaly detection method at the application layer of multi-node computer systems. Although several network management systems are available in th...
150
Voted
NPIV
1999
ACM
15 years 8 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...