252 search results - page 9 / 51 » Safety Evaluation of NanoFabrics |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
SLP
1989
13 years 9 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
It has recently been argued that a Naive Bayesian classifier can be used to filter unsolicited bulk e-mail ("spam"). We conduct a thorough evaluation of this proposal on...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Safety is a critical success factor for consumer acceptance of domestic robotic products. Some researchers have adopted the Head Injury Criterion (HIC) as absolute safety norm....
DBPL
2007
Springer
13 years 11 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...