Sciweavers

11345 search results - page 1689 / 2269
» Foundations of Computer Science
Sort
View
LICS
2005
IEEE
16 years 4 hour ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
LICS
2005
IEEE
16 years 4 hour ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel
MSE
2005
IEEE
150views Hardware» more  MSE 2005»
16 years 3 hour ago
A Cohesive FPGA-Based System-on-Chip Design Curriculum
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
John D. Lynch, Daniel Hammerstrom, Roy Kravitz
SCCC
2005
IEEE
16 years 1 hour ago
A geometric framework to visualize fuzzy-clustered data
— Fuzzy clustering methods have been widely used in many applications. These methods, including fuzzy k-means and Expectation Maximization, allow an object to be assigned to mult...
Yuanquan Zhang, Luis Rueda
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
15 years 12 months ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman
« Prev « First page 1689 / 2269 Last » Next »