Sciweavers

3812 search results - page 496 / 763
» Combinations of TRAP Based Systems
Sort
View
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
LOGCOM
2008
81views more  LOGCOM 2008»
15 years 6 months ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
185
Voted
MVA
2008
159views Computer Vision» more  MVA 2008»
15 years 6 months ago
Coopetitive multi-camera surveillance using model predictive control
We present a generic framework for enhanced active multi-sensing. We propose a coopetitive interaction approach, which combines the salient features of cooperation and competition ...
Vivek K. Singh, Pradeep K. Atrey, Mohan S. Kankanh...
SIGIR
2008
ACM
15 years 6 months ago
Analyzing web text association to disambiguate abbreviation in queries
We introduce a statistical model for abbreviation disambiguation in Web search, based on analysis of Web data resources, including anchor text, click log and query log. By combini...
Xing Wei, Fuchun Peng, Benoît Dumoulin
SIMPRA
2008
99views more  SIMPRA 2008»
15 years 6 months ago
Response surface methodology for constrained simulation optimization: An overview
This article summarizes `Generalized Response Surface Methodology'(GRSM), extending Box and Wilson's `Response Surface Methodology'(RSM). GRSM allows multiple rando...
Jack P. C. Kleijnen