1655 search results - page 302 / 331 » Visual tool for generative programming |
COMPSAC
2008
IEEE
13 years 7 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
CVIU
2006
13 years 7 months ago
2006
We present algorithms for recognizing human motion in monocular video sequences, based on discriminative Conditional Random Field (CRF) and Maximum Entropy Markov Models (MEMM). E...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
IGARSS
2009
13 years 5 months ago
2009
The UAE location on the edge of a very warm sea and hot and dry desert create the optimal conditions of inland fog forming. The afternoon sea breeze, which is almost a daily event...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...