Sciweavers

15 search results - page 1 / 3
» Homogeneously Souslin sets in small inner models
Sort
View
AML
2006
40views more  AML 2006»
13 years 5 months ago
Homogeneously Souslin sets in small inner models
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a
Peter Koepke, Ralf Schindler
ICASSP
2011
IEEE
12 years 9 months ago
Statistical analysis of multi-channel detection using data from airborne AESA radar
We investigate the ground clutter homogeneity and target detection performance using airborne multi-channel AESA (Active Electronically Scanned Array) radar data from flight trial...
Johan Degerman, Thomas Pernstal, Magnus Gisselfalt...
VC
2008
93views more  VC 2008»
13 years 5 months ago
Real-time editing and relighting of homogeneous translucent materials
Existing techniques for fast, high-quality rendering of translucent materials often fix BSSRDF parameters at precomputation time. We present a novel method for accurate rendering a...
Rui Wang 0004, Ewen Cheslack-Postava, Rui Wang 000...
VLDB
2004
ACM
121views Database» more  VLDB 2004»
13 years 10 months ago
An Automatic Data Grabber for Large Web Sites
We demonstrate a system to automatically grab data from data intensive web sites. The system first infers a model that describes at the intensional level the web site as a collec...
Valter Crescenzi, Giansalvatore Mecca, Paolo Meria...
ICDCSW
2000
IEEE
13 years 9 months ago
Games-Based Model Checking of Protocols: counting doesn't count
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
Tim Kempster, Colin Stirling, Peter Thanisch