Sciweavers

192 search results - page 29 / 39
» Computer Assisted Grammar Construction
Sort
View
ASM
2010
ASM
15 years 4 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
66
Voted
3DPVT
2006
IEEE
174views Visualization» more  3DPVT 2006»
15 years 3 months ago
Two Stage View Planning for Large-Scale Site Modeling
We present a systematic view planning method to assist construction of 3-D models of large outdoor sites using a mobile robot platform with mounted scanner. In the first stage, w...
Paul Blaer, Peter K. Allen
CHI
2003
ACM
15 years 10 months ago
A physical interface for system dynamics simulation
We present the System Blocks, a new physical interactive system that makes it easier for kids to explore dynamic systems. A set of computationally enhanced children blocks, made o...
Oren Zuckerman, Mitchel Resnick
CGF
2011
14 years 1 months ago
Exploring Collections of Tagged Text for Literary Scholarship
Modern literary scholars must combine access to vast collections of text with the traditional close analysis of their field. In this paper, we discuss the design and development ...
M. Correll, M. Witmore, M. Gleicher
69
Voted
CISC
2009
Springer
148views Cryptology» more  CISC 2009»
14 years 7 months ago
A DAA Scheme Requiring Less TPM Resources
Abstract. Direct anonymous attestation (DAA) is a special digital signature primitive, which provides a balance between signer authentication and privacy. One of the most interesti...
Liqun Chen