1830 search results - page 121 / 366 » Centering in Dynamic Semantics |
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
103
click to vote
GLVLSI
2000
IEEE
15 years 3 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...