2701 search results - page 151 / 541 » On the form of witness terms |
160
click to vote
MDM
2005
Springer
16 years 4 hour ago
2005
Springer
Sensor networks are promising unprecedented levels of access to information about the physical world, in real time. Many areas of human activity are starting to see the benefits ...
114
click to vote
MKM
2005
Springer
16 years 2 hour ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
174
click to vote
NOSSDAV
2005
Springer
16 years 1 hour ago
2005
Springer
Cheating in on-line games is a prevalent problem for both game makers and players. The popular real-time strategy game genre is especially vulnerable to cheats, as it is frequentl...
178
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
The increasing popularity of all-optical networks has led to extensive research on the routing and wavelength assignment problem, also termed as the Routing and Path Coloring probl...
273
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...