2145 search results - page 382 / 429 » Lax Logical Relations |
VAMOS
2008
Springer
13 years 9 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
AAAI
2004
13 years 9 months ago
2004
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
DAGSTUHL
2004
13 years 9 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
Motion capturing has become an important tool in fields such as sports sciences, biometrics, and particularly in computer animation, where large collections of motion material are ...
DOA
2001
13 years 9 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...