Sciweavers

3680 search results - page 205 / 736
» cases 2010
Sort
View
ICWE
2010
Springer
15 years 5 months ago
A Method for Assessing Website Communicative Efficacy Using a Semantic Annotation Tool
Evaluation of the communicative efficacy of a website is important in the context of an organization communication strategy. To address this issue, we propose a systematic method a...
Nadzeya Kiyavitskaya, Nicola Zeni, Cristina Coulle...
IJCAT
2010
106views more  IJCAT 2010»
15 years 5 months ago
Fine grain associative feature reasoning in collaborative engineering
: This paper explores the vast domain of systematic collaborative engineering with reference to product lifecycle management approach from the angle of feature-level collaboration ...
Yong-Sheng Ma, C. H. Bong
INFOCOM
2010
IEEE
15 years 5 months ago
A Theoretical Framework for Hierarchical Routing Games
—Most theoretical research on routing games in telecommunication networks has so far dealt with reciprocal congestion effects between routed entities. Yet in networks that suppor...
Vijay Kamble, Eitan Altman, Rachid El Azouzi, Vino...
JAIR
2010
100views more  JAIR 2010»
15 years 5 months ago
Mechanisms for Multi-Unit Auctions
We present an incentive-compatible polynomial-time approximation scheme for multiunit auctions with general k-minded player valuations. The mechanism fully optimizes over an appro...
Shahar Dobzinski, Noam Nisan
JAR
2010
108views more  JAR 2010»
15 years 5 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi