2145 search results - page 382 / 429 » Lax Logical Relations |
VAMOS
2008
Springer
15 years 16 days 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 ...
106
click to vote
AAAI
2004
15 years 15 days 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...
86
Voted
DAGSTUHL
2004
15 years 15 days 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...
102
click to vote
ECIR
2006
Springer
15 years 15 days 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 ...
100
Voted
DOA
2001
15 years 15 days 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 ...