Sciweavers

770 search results - page 30 / 154
» Abstract Yourself With Modules
Sort
View
95
Voted
JSAC
2006
94views more  JSAC 2006»
15 years 12 days ago
Multiuser transmitted reference ultra-wideband communication systems
Abstract--A conventional transmitted reference (TR) modulation scheme is an effective means to combat severe multipath distortion in an ultra-wideband (UWB) system, significantly r...
Zhengyuan Xu, Brian M. Sadler
ICFP
2005
ACM
16 years 12 days ago
Recursive type generativity
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
Derek Dreyer
94
Voted
VMCAI
2005
Springer
15 years 6 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
EJIS
2007
88views more  EJIS 2007»
15 years 12 days ago
A programme management approach for ensuring curriculum coherence in IS (higher) education
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
Tally Hatzakis, Mark Lycett, Alan Serrano
CISIS
2010
IEEE
15 years 7 months ago
Gene Ontology Rewritten for Computing Gene Functional Similarity
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
Alessia Visconti, Francesca Cordero, Marco Botta, ...