1097 search results - page 154 / 220 » Partial evaluation of Maple |
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
We show that, from the output of a simple 3D human pose tracker one can infer physical attributes (e.g., gender and weight) and aspects of mental state (e.g., happiness or sadness)...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
SLE
2009
Springer
15 years 2 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...