Sciweavers

3573 search results - page 590 / 715
» Reasoning about Codata
Sort
View
57
Voted
ACL
2010
14 years 11 months ago
Combining Data and Mathematical Models of Language Change
English noun/verb (N/V) pairs (contract, cement) have undergone complex patterns of change between 3 stress patterns for several centuries. We describe a longitudinal dataset of N...
Morgan Sonderegger, Partha Niyogi
96
Voted
ACL
2010
14 years 11 months ago
Learning to Translate with Source and Target Syntax
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...
David Chiang
112
Voted
SASO
2010
IEEE
14 years 10 months ago
Self-Adaptive Resource Allocation in Open Distributed Systems
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
Xinghui Zhao, Nadeem Jamali
161
Voted
CVPR
2009
IEEE
16 years 8 months ago
Understanding Images of Groups of People
In many social settings, images of groups of people are captured. The structure of this group provides meaningful context for reasoning about individuals in the group, and about th...
Andrew C. Gallagher, Tsuhan Chen
ECEASST
2010
14 years 7 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry