518 search results - page 81 / 104 » Automating Proofs in Category Theory |
180
click to vote
MSR
2011
ACM
14 years 2 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
113
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are specific to the enterprise domain. This challenge is partly addressed by...
181
click to vote
GIS
2004
ACM
16 years 24 days ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
DAC
2009
ACM
16 years 23 days ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
112
click to vote
DAC
2007
ACM
16 years 23 days ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...