8874 search results - page 10 / 1775 » A New Implementation of Automath |
COMGEO
2010
ACM
13 years 7 months ago
2010
ACM
The geographic profiling problem is to create an operationally useful estimate of the location of the home base of a serial criminal from the known locations of the offense sites....
PVLDB
2011
13 years 5 months ago
2011
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...
ECRTS
2009
IEEE
13 years 8 months ago
2009
IEEE
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
ICEXSS
2010
13 years 5 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
INTERSPEECH
2010
13 years 5 months ago
2010
Decision tree-based context clustering is the essential but timeconsuming part of building HMM-based speech synthesis systems. The widely used implementation of this technique is ...