2282 search results - page 142 / 457 » Active property checking |
247
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
150
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Models of activity structure for unconstrained environments are generally not available a priori. Recent representational approaches to this end are limited by their computational...
165
click to vote
DOLAP
2009
ACM
15 years 11 months ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...
132
click to vote
TSP
2008
15 years 4 months ago
2008
Abstract--We present decentralized adaptive filtering algorithms for sensor activation control in an unattended ground sensor network (UGSN) comprised of ZigBee-enabled nodes. Node...
123
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...