5924 search results - page 437 / 1185 » Normal Process Representatives |
149
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....
161
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
208
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new Picture Archiving and Communication System (PACS), called cbPACS which has content-based image retrieval resources. The cbPACS answers similarity queries...
168
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
183
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...