Sciweavers

643 search results - page 95 / 129
» An Empirical Study of Smoothing Techniques for Language Mode...
Sort
View
76
Voted
CPAIOR
2009
Springer
15 years 4 months ago
Reformulating Global Grammar Constraints
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
George Katsirelos, Nina Narodytska, Toby Walsh
ESOP
2008
Springer
14 years 11 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi
AAIM
2008
Springer
142views Algorithms» more  AAIM 2008»
14 years 11 months ago
Engineering Label-Constrained Shortest-Path Algorithms
We consider a generalization of the shortest-path problem: given an alphabet , a graph G whose edges are weighted and -labeled, and a regular language L , the L-constrained shortes...
Christopher L. Barrett, Keith R. Bisset, Martin Ho...
HT
2010
ACM
14 years 11 months ago
Capturing implicit user influence in online social sharing
Online social sharing sites are becoming very popular nowadays among Web users, who use these sites to share their favourite items and to discover interesting and useful items fro...
Ching-man Au Yeung, Tomoharu Iwata
92
Voted
AAAI
2007
15 years 19 hour ago
Content Analysis for Proactive Intelligence: Marshaling Frame Evidence
Modeling and simulation have great potential as technologies capable of aiding analysts in making accurate predictions of future situations to help provide competitive advantage a...
Antonio Sanfilippo, Andrew J. Cowell, Stephen Trat...