Sciweavers

6960 search results - page 369 / 1392
» Continuity Analysis of Programs
Sort
View
EMNLP
2009
15 years 2 months ago
Adapting a Polarity Lexicon using Integer Linear Programming for Domain-Specific Sentiment Classification
Polarity lexicons have been a valuable resource for sentiment analysis and opinion mining. There are a number of such lexical resources available, but it is often suboptimal to us...
Yejin Choi, Claire Cardie
CSL
2005
Springer
15 years 10 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
IPCO
2010
174views Optimization» more  IPCO 2010»
15 years 6 months ago
On Lifting Integer Variables in Minimal Inequalities
This paper contributes to the theory of cutting planes for mixed integer linear programs (MILPs). Minimal valid inequalities are well understood for a relaxation of an MILP in tab...
Amitabh Basu, Manoel B. Campêlo, Michele Con...
AROBOTS
1999
104views more  AROBOTS 1999»
15 years 4 months ago
Reinforcement Learning Soccer Teams with Incomplete World Models
We use reinforcement learning (RL) to compute strategies for multiagent soccer teams. RL may pro t signi cantly from world models (WMs) estimating state transition probabilities an...
Marco Wiering, Rafal Salustowicz, Jürgen Schm...
APLAS
2001
ACM
15 years 8 months ago
Estimating Exception-Induced Control Flow for Java
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
Byeong-Mo Chang, Jang-Wu Jo