1477 search results - page 215 / 296 » What's the point of documentation |
ICLP
2010
Springer
14 years 10 hour ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
CVPR
2004
IEEE
13 years 12 months ago
2004
IEEE
Multimedia retrieval is going to play an increasingly important role in the future. Since the availability of digital media seems ever rising, not only the retrieval performance i...
CW
2004
IEEE
13 years 12 months ago
2004
IEEE
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
DATE
2004
IEEE
13 years 12 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
EEE
2004
IEEE
13 years 12 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....