Sciweavers

4770 search results - page 63 / 954
» Flexible Type Analysis
Sort
View
NAACL
2007
15 years 5 months ago
Relationship between Non-Projective Edges, Their Level Types, and Well-Nestedness
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
Jirí Havelka
ACTA
2005
92views more  ACTA 2005»
15 years 3 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
127
Voted
HICSS
2006
IEEE
124views Biometrics» more  HICSS 2006»
15 years 10 months ago
Missing the Forest for the Trees - Object Technology's Second Hiatus
Object technology was first created in 1967, but it had to wait till the mid 80’s for widespread acceptance and adoption. We observe that that was not the only hiatus for the te...
Viswanathan Kodaganallur
111
Voted
DAS
2004
Springer
15 years 9 months ago
Recognizing Freeform Digital Ink Annotations
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...
Michael Shilman, Zile Wei
SEMWEB
2009
Springer
15 years 8 months ago
Supporting Multi-view User Ontology to Understand Company Value Chains
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...
Landong Zuo, Manuel Salvadores, S. M. Hazzaz Imtia...