6111 search results - page 960 / 1223 » Time, Hardware, and Uniformity |
166
click to vote
WISE
2005
Springer
16 years 7 days ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
180
click to vote
AMOST
2005
ACM
16 years 7 days ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
160
click to vote
CEAS
2005
Springer
16 years 6 days ago
2005
Springer
Spam has become a serious problem of Internet, and the current defense is limited to the filters deployed at the recipient side. Little known research has been applied to reduce ...
207
click to vote
DMG
2005
Springer
16 years 6 days ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
168
click to vote
SAT
2005
Springer
16 years 4 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...