1756 search results - page 42 / 352 » Current Directions in Hyper-Programming |
138
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
128
click to vote
NAACL
2010
15 years 1 months ago
2010
Syntactic machine translation systems currently use word alignments to infer syntactic correspondences between the source and target languages. Instead, we propose an unsupervised...
151
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
113
Voted
WINE
2010
Springer
15 years 1 months ago
2010
Springer
We propose a new proxy bidding mechanism to allocate courses to students given students' reported preferences. Our mechanism is motivated by a specific strategic downgrading m...
172
click to vote
HCI
2009
15 years 1 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...