Sciweavers

3818 search results - page 757 / 764
» Word Problems on Compressed Words
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
14 years 7 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
IR
2010
14 years 7 months ago
Sentence-level event classification in unstructured texts
The ability to correctly classify sentences that describe events is an important task for many natural language applications such as Question Answering (QA) and Text Summarisation....
Martina Naughton, Nicola Stokes, Joe Carthy
AI
2010
Springer
14 years 6 months ago
Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...
James Pita, Manish Jain, Milind Tambe, Fernando Or...
CSDA
2011
14 years 4 months ago
Functional density synchronization
Estimating an overall density function from repeated observations on each of a sample of independent subjects or experimental units is of interest. An example is provided by biodem...
Zhen Zhang, Hans-Georg Müller
COST
2010
Springer
194views Multimedia» more  COST 2010»
14 years 4 months ago
The MultiLis Corpus - Dealing with Individual Differences in Nonverbal Listening Behavior
Abstract. Computational models that attempt to predict when a virtual human should backchannel are often based on the analysis of recordings of face-to-face conversations between h...
Iwan de Kok, Dirk Heylen