20441 search results - page 3939 / 4089 » Locally Computable Structures |
119
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
123
click to vote
DCC
2000
IEEE
15 years 6 months ago
2000
IEEE
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
108
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...
151
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
139
Voted
PG
2000
IEEE
15 years 6 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...