767 search results - page 47 / 154 » Logic for Mathematical Writing |
KES
2004
Springer
14 years 29 days ago
2004
Springer
The main challenge in handwritten character recognition involves the development of a method that can generate descriptions of the handwritten objects in a short period of time. Du...
FCSC
2010
13 years 5 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
SYNTHESE
2010
13 years 6 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
ICDE
1999
IEEE
14 years 9 months ago
1999
IEEE
Increasingly, for extensibility and performance, specialpurpose application code is being integrated with database system code. Such application code has direct access to database...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...