2713 search results - page 209 / 543 » Parameterized Tree Systems |
130
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
251
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
147
Voted
ICUMT
2009
15 years 1 months ago
2009
Network Coordinate (NC) which provides efficient distance prediction with scalable measurements, brings benefits to various network applications. Phoenix Network Coordinate system ...
162
click to vote
IPCV
2008
15 years 5 months ago
2008
Most of the existing image retrieval systems take the textual query from the user and utilize the metadata associated with the database images to retrieve the result. However, the...
144
Voted
ACL
2009
15 years 1 months ago
2009
We describe a semantic role labeling system that makes primary use of CCG-based features. Most previously developed systems are CFG-based and make extensive use of a treepath feat...