10910 search results - page 389 / 2182 » Input modeling using a computer algebra system |
253
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding and modifying the effects of arbitrary illumination on human faces in a realistic manner is a challenging problem both for face synthesis and recognition. Recent res...
181
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
175
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
173
click to vote
IJCAI
1989
15 years 8 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
182
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...