4770 search results - page 772 / 954 » Flexible Type Analysis |
256
click to vote
SBCCI
2005
ACM
16 years 1 days ago
2005
ACM
In this paper it will be demonstrated, from the theory and measurements, that series-parallel (SP) mirrors allow building current copiers with copy factors of thousands, without d...
140
click to vote
STORAGESS
2005
ACM
16 years 1 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
200
click to vote
AADEBUG
2005
Springer
16 years 1 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
168
click to vote
CIKM
2005
Springer
16 years 1 days ago
2005
Springer
The detection of new information in a document stream is an important component of many potential applications. In this paper, a new novelty detection approach based on the identi...
165
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...