4199 search results - page 369 / 840 » Generalizing Data in Natural Language |
174
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
161
Voted
DASFAA
1999
IEEE
15 years 11 months ago
1999
IEEE
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...
166
click to vote
WCE
2007
15 years 8 months ago
2007
Abstract— Common MRI sampling patterns in kspace, such as spiral trajectories, have nonuniform density and do not lie on a rectangular grid. We propose mapping the sampled data t...
308
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
171
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...