Sciweavers

192 search results - page 29 / 39
» Computer Assisted Grammar Construction
Sort
View
ASM
2010
ASM
14 years 2 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
3DPVT
2006
IEEE
174views Visualization» more  3DPVT 2006»
14 years 1 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
14 years 7 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
12 years 11 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
CISC
2009
Springer
148views Cryptology» more  CISC 2009»
13 years 5 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