Sciweavers

4061 search results - page 373 / 813
» Routing Using Geospatial Information System Analysis
Sort
View
MICRO
2008
IEEE
131views Hardware» more  MICRO 2008»
16 years 1 months ago
Token flow control
As companies move towards many-core chips, an efficient onchip communication fabric to connect these cores assumes critical importance. To address limitations to wire delay scala...
Amit Kumar 0002, Li-Shiuan Peh, Niraj K. Jha
COLING
2008
15 years 8 months ago
A Grammar Checking System for Punjabi
This article provides description about the grammar checking system developed for detecting various grammatical errors in Punjabi texts. This system utilizes a fullform lexicon fo...
Mandeep Singh Gill, Gurpreet Singh Lehal
CISS
2008
IEEE
16 years 1 months ago
Quickest spectrum sensing in cognitive radio
Abstract— Quickest detection is applied to frequency spectrum sensing in cognitive radio systems. Distribution change in frequency domain is detected for vacating secondary radio...
Husheng Li, Chengzhi Li, Huaiyu Dai
MKM
2007
Springer
16 years 27 days ago
Formal Representation of Mathematics in a Dependently Typed Set Theory
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
Feryal Fulya Horozal, Chad E. Brown
SPEAKERC
2007
Springer
140views Biometrics» more  SPEAKERC 2007»
16 years 27 days ago
Higher-Level Features in Speaker Recognition
Higher-level features based on linguistic or long-range information have attracted significant attention in automatic speaker recognition. This article briefly summarizes approac...
Elizabeth Shriberg