3059 search results - page 370 / 612 » Information modeling for single sourcing |
165
Voted
JCB
1998
15 years 6 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...
194
Voted
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
177
Voted
SAC
2010
ACM
16 years 1 months ago
2010
ACM
In GIS and spatial databases, cardinal directions are frequently used as selection and join criteria in query languages. However, most cardinal direction models are only able to h...
226
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
180
Voted
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...