4036 search results - page 695 / 808 » Formal Methods |
175
click to vote
CBMS
2006
IEEE
16 years 13 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
183
click to vote
ICSEA
2006
IEEE
16 years 12 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
155
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
182
click to vote
DAC
2006
ACM
16 years 10 days ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
190
click to vote
JCDL
2006
ACM
16 years 10 days ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...