2335 search results - page 465 / 467 » Type Checking Type Classes |
IJOE
2011
13 years 21 days ago
2011
- Students at MIT have traditionally executed certain experiments in the containment building of the MIT nuclear reactor as part of courses in Nuclear Engineering and the third yea...
WWW
2011
ACM
13 years 20 days ago
2011
ACM
Auctions are widely used on the Web. Applications range from internet advertising to platforms such as eBay. In most of these applications the auctions in use are single/multi-ite...
TKDE
2010
13 years 13 days ago
2010
The idea of allowing query users to relax their correctness requirements in order to improve performance of a data stream management system (e.g., location-based services and senso...
TSMC
2010
13 years 13 days ago
2010
The cellular learning automaton (CLA), which is a4 combination of cellular automaton (CA) and learning automaton5 (LA), is introduced recently. This model is superior to CA because...
INFOCOM
2011
IEEE
12 years 9 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...