Sciweavers

2468 search results - page 295 / 494
» A New Approach to Pseudoword Generation
Sort
View
TACAS
2007
Springer
124views Algorithms» more  TACAS 2007»
16 years 20 days ago
Deciding Bit-Vector Arithmetic with Abstraction
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
Randal E. Bryant, Daniel Kroening, Joël Ouakn...
CIG
2006
IEEE
16 years 19 days ago
Exploiting Sensor Symmetries in Example-based Training for Intelligent Agents
— Intelligent agents in games and simulators often operate in environments subject to symmetric transformations that produce new but equally legitimate environments, such as re...
Bobby D. Bryant, Risto Miikkulainen
ICDE
2006
IEEE
174views Database» more  ICDE 2006»
16 years 18 days ago
The Center for Plasma Edge Simulation Workflow Requirements
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
Scott Klasky, Bertram Ludäscher, Manish Paras...
ICMCS
2006
IEEE
159views Multimedia» more  ICMCS 2006»
16 years 18 days ago
Improving Speaker Diarization by Cross EM Refinement
In this paper, we present a new speaker diarization system that improves the accuracy of traditional hierarchical clustering-based methods with little increase in computational co...
Huazhong Ning, Wei Xu, Yihong Gong, Thomas S. Huan...
ISM
2006
IEEE
187views Multimedia» more  ISM 2006»
16 years 17 days ago
Camera View-Based American Football Video Analysis
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
Yi Ding, Guoliang Fan