6800 search results - page 1004 / 1360 » Testing with Functions as Specifications |
176
click to vote
NIPS
2001
15 years 8 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
188
click to vote
IADIS
2003
15 years 8 months ago
2003
IEEE 802.11a is one of the latest standards to be released by the IEEE Project 802. It has specified a new physical layer (PHY) to support higher data rates, known as the orthogon...
153
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Information sharing is the defining principle for public safety and Web Services is the technology best positioned to facilitate sharing and lower costs. The National Law Enforcem...
200
click to vote
VMV
2001
15 years 8 months ago
2001
Adaptive mesh refinement (AMR) is a numerical simulation technique used in computational fluid dynamics (CFD). By using a set of nested grids of different resolutions, AMR combine...
170
click to vote
USENIX
2004
15 years 8 months ago
2004
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...