Sciweavers

1654 search results - page 257 / 331
» Comparing Two Software Design Process Theories
Sort
View
MOBIHOC
2009
ACM
16 years 5 months ago
MotionCast: on the capacity and delay tradeoffs
In this paper, we define multicast for ad hoc network through nodes' mobility as MotionCast, and study the capacity and delay tradeoffs for it. Assuming nodes move according ...
Chenhui Hu, Xinbing Wang, Feng Wu
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
15 years 10 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
DNA
2006
Springer
146views Bioinformatics» more  DNA 2006»
15 years 8 months ago
On Times to Compute Shapes in 2D Tile Self-assembly
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
Yuliy M. Baryshnikov, Edward G. Coffman Jr., Boons...
KDD
2002
ACM
126views Data Mining» more  KDD 2002»
16 years 5 months ago
Integrating feature and instance selection for text classification
Instance selection and feature selection are two orthogonal methods for reducing the amount and complexity of data. Feature selection aims at the reduction of redundant features i...
Dimitris Fragoudis, Dimitris Meretakis, Spiros Lik...
CHI
2007
ACM
16 years 5 months ago
Selection-based note-taking applications
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
Aaron Bauer, Kenneth R. Koedinger