4770 search results - page 592 / 954 » Flexible Type Analysis |
161
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
218
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
299
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Heterogeneous applications could be assimilated within the same wireless sensor network with the aid of modern motes that have multiple sensor boards on a single radio board. Diff...
172
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...
163
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...