3618 search results - page 474 / 724 » Additive functions for number systems in function fields |
144
click to vote
FMCAD
2009
Springer
16 years 24 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
192
click to vote
PKDD
2009
Springer
16 years 23 days ago
2009
Springer
We propose a new, recursive model to generate realistic graphs, evolving over time. Our model has the following properties: it is (a) flexible, capable of generating the cross pro...
194
click to vote
POLICY
2009
Springer
16 years 23 days ago
2009
Springer
—Policy definition is an important component of the consistent authorisation service infrastructure that could be effectively integrated with the general resource provisioning wo...
174
click to vote
IROS
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— Perceiving human faces is one of the most important functions for human robot interaction. The active appearance model (AAM) is a statistical approach that models the s...
147
click to vote
CCGRID
2007
IEEE
16 years 18 days ago
2007
IEEE
Maximizing resource provider profit and satisfying user requirements at the same time is a challenging problem in utility computing environments. In this paper, we introduce adap...