818 search results - page 31 / 164 » formats 2007 |
NIPS
1998
14 years 11 months ago
1998
A recent neural model of illusory contour formation is based on a distribution of natural shapes traced by particles moving with constant speed in directions given by Brownian mot...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
We build an image analysis toolbox for high-throughput Drosophila embryo RNAi screens. The goal is to tag the embryo as normal, developmentally delayed or abnormal based on the ve...
WETICE
2007
IEEE
15 years 3 months ago
2007
IEEE
How to manage confidential data in the grid environment is a critical issue because users’ data can be saved in untrusted remote storages. This paper introduces a service to sto...