Sciweavers

1678 search results - page 135 / 336
» An ASM Specification of C
Sort
View
SI3D
1995
ACM
15 years 9 months ago
Surface Modification Tools in a Virtual Environment Interface to a Scanning Probe Microscope
The NanoManipulator system has been expanded from a virtualreality interface for a specific scanning tunneling microscope to include control of atomic force microscopes. The curre...
Mark Finch, Vernon L. Chi, Russell M. Taylor II, M...
AAAI
2008
15 years 8 months ago
Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
Craig Boutilier, David C. Parkes, Tuomas Sandholm,...
CISSE
2008
Springer
15 years 7 months ago
Testing Grammars For Top-Down Parsers
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
A. M. Paracha, F. Franek
AINA
2008
IEEE
15 years 7 months ago
A Case Study on Software Evolution towards Service-Oriented Architecture
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
Félix Cuadrado, Boni García, Juan C....
LREC
2010
148views Education» more  LREC 2010»
15 years 7 months ago
GikiCLEF: Crosscultural Issues in Multilingual Information Access
In this paper we describe GikiCLEF, the first evaluation contest that, to our knowledge, was specifically designed to expose and investigate cultural and linguistic issues involve...
Diana Santos, Luís Miguel Cabral, Corina Fo...