8874 search results - page 225 / 1775 » A New Implementation of Automath |
191
click to vote
CASCON
2010
14 years 11 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
240
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
182
Voted
DSD
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
162
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
In recent years, mining frequent itemsets over uncertain data has attracted much attention in the data mining community. Unlike the corresponding problem in deterministic data, th...
133
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...