Sciweavers

599 search results - page 84 / 120
» Type System for Specializing Polymorphism
Sort
View
PODC
1996
ACM
13 years 12 months ago
Atomicity in Electronic Commerce
There is tremendous demand for the ability to be able to electronically buy and sell goods over networks. This field is called electronic commerce, and it has inspired a large var...
J. D. Tygar
IJWIS
2007
117views more  IJWIS 2007»
13 years 7 months ago
Patterns and transitions of query reformulation during web searching
— Purpose: To investigate and identify the patterns of interaction between searchers and search engine during Web searching. Design: We examined 2,465,145 interactions from 534,5...
Bernard J. Jansen, Mimi Zhang, Amanda Spink
INTERSPEECH
2010
13 years 2 months ago
Accurate pitch marking for prosodic modification of speech segments
This paper describes a new approach to pitch marking. Unlike other approaches that use the same combination of features for the whole signal, we take into account the signal prope...
Thomas Ewender, Beat Pfister
CODES
2003
IEEE
14 years 1 months ago
First results with eBlocks: embedded systems building blocks
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
Susan Cotterell, Frank Vahid, Walid A. Najjar, Har...
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...