Sciweavers

9049 search results - page 280 / 1810
» The New C Standard
Sort
View
JFP
2010
142views more  JFP 2010»
15 years 5 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
DAC
2005
ACM
16 years 7 months ago
High performance encryption cores for 3G networks
This paper presents two novel and high performance hardware architectures, implemented in FPGA technology, for the KASUMI block cipher; this algorithm lies at the core of the conf...
René Cumplido, Tomás Balderas-Contre...
ICML
1998
IEEE
16 years 7 months ago
The Case against Accuracy Estimation for Comparing Induction Algorithms
We analyze critically the use of classi cation accuracy to compare classi ers on natural data sets, providing a thorough investigation using ROC analysis, standard machine learnin...
Foster J. Provost, Tom Fawcett, Ron Kohavi
WWW
2007
ACM
16 years 7 months ago
Learning ontologies to improve the quality of automatic web service matching
This paper presents a novel technique that significantly improves the quality of semantic Web service matching by (1) automatically generating ontologies based on Web service desc...
Hui Guo, Anca Ivan, Rama Akkiraju, Richard Goodwin
CHI
2009
ACM
16 years 7 months ago
GestureBar: improving the approachability of gesture-based interfaces
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
Andrew Bragdon, Robert C. Zeleznik, Brian Williams...