Sciweavers

2960 search results - page 442 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Dual frame of frequency warping operators
In this work we introduce the dual frame operator relative to the aliasing compensated frequency warping operator for nonsmooth warping functions. Except for approximation errors,...
Salvatore Caporale, Nicolo Speciale
LICS
2012
IEEE
13 years 9 months ago
Countermodels from Sequent Calculi in Multi-Modal Logics
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
Deepak Garg, Valerio Genovese, Sara Negri
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
Empirical study of supervised gene screening
Background: Microarray studies provide a way of linking variations of phenotypes with their genetic causations. Constructing predictive models using high dimensional microarray me...
Shuangge Ma
SIGSOFT
2009
ACM
16 years 7 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
WWW
2007
ACM
16 years 7 months ago
Towards Deeper Understanding of the Search Interfaces of the Deep Web
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
Hai He, Weiyi Meng, Yiyao Lu, Clement T. Yu, Zongh...