Sciweavers

4842 search results - page 662 / 969
» A Calculus for Data Mapping
Sort
View
ICCD
2002
IEEE
103views Hardware» more  ICCD 2002»
16 years 3 months ago
A Stream Processor Development Platform
We describe a hardware and software platform for developing streaming applications. Programmers write stream programs in high-level languages, and a set of software tools maps the...
Ben Serebrin, John D. Owens, Chen H. Chen, Stephen...
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 1 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
HICSS
2010
IEEE
144views Biometrics» more  HICSS 2010»
16 years 1 months ago
Tweet, Tweet, Retweet: Conversational Aspects of Retweeting on Twitter
Twitter—a microblogging service that enables users to post messages (“tweets”) of up to 140 characters—supports a variety of communicative practices; participants use Twit...
Danah Boyd, Scott Golder, Gilad Lotan
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
16 years 1 months ago
Spatial Variation in Search Engine Results
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
David Noack
171
Voted
CSO
2009
IEEE
16 years 1 months ago
A CAD System for Shoe Last Customization
Customized shoes are desired in shoe industries nowadays to satisfy customer needs on style, fit and comfort. This paper proposes a CAD system for designing the customized shoe la...
Ning Shi, Shuping Yi, Shuping Xiong, Zuhua Jiang