1638 search results - page 326 / 328 » Properties of input-consuming derivations |
210
click to vote
VMCAI
2004
Springer
16 years 26 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
189
click to vote
ICIP
2003
IEEE
16 years 25 days ago
2003
IEEE
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
226
click to vote
MOBICOM
2003
ACM
16 years 23 days ago
2003
ACM
We consider a two-tiered Wireless Sensor Network (WSN) consisting of sensor clusters deployed around strategic locations and base-stations (BSs) whose locations are relatively fl...
238
Voted
SAC
2003
ACM
16 years 23 days ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
194
click to vote
AGTIVE
2003
Springer
16 years 23 days ago
2003
Springer
Discontinuous constituent are a frequent problem in natural language analyses. A constituent is called discontinuous if it is interrupted by other constituents. In German they can ...