Sciweavers

2596 search results - page 314 / 520
» Gradual Typing for Objects
Sort
View
ICCNMC
2005
Springer
15 years 10 months ago
Available Bandwidth Measurement Schemes over Networks
In next generation network (NGN), end-to-end QoS is one of the critical issues for real-time multimedia communications and applications. Such applications are sensitive to the avai...
Fang Qi, Jin Zheng, Weijia Jia, Guojun Wang
IJCNLP
2005
Springer
15 years 10 months ago
Assigning Polarity Scores to Reviews Using Machine Learning Techniques
We propose a novel type of document classification task that quantifies how much a given document (review) appreciates the target object using not binary polarity (good or bad) b...
Daisuke Okanohara, Jun-ichi Tsujii
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
15 years 10 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
SPC
2005
Springer
15 years 10 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
CLEF
2004
Springer
15 years 9 months ago
Question Answering Pilot Task at CLEF 2004
A Pilot Question Answering Task has been activated in the Cross-Language Evaluation Forum 2004 with a twofold objective. In the first place, the evaluation of Question Answering ...
Jesús Herrera, Anselmo Peñas, Felisa...