718 search results - page 11 / 144 » Toward Models for Forensic Analysis |
IANDC
1998
14 years 9 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
93
Voted
UAI
2001
14 years 11 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
ISBI
2002
IEEE
15 years 2 months ago
2002
IEEE
CRV
2008
IEEE
15 years 4 months ago
2008
IEEE
Recent advancements in laser and visible light sensor technology allows for the collection of photorealistic 3D scans of large scale spaces. This enables the technology to be used...