Sciweavers

344 search results - page 23 / 69
» Attribute-Pair Range Rules
Sort
View
IASTEDSEA
2004
13 years 9 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
IJAR
2008
161views more  IJAR 2008»
13 years 7 months ago
Bayesian learning for a class of priors with prescribed marginals
We present Bayesian updating of an imprecise probability measure, represented by a class of precise multidimensional probability measures. Choice and analysis of our class are mot...
Hermann Held, Thomas Augustin, Elmar Kriegler
INFOCOM
2005
IEEE
14 years 1 months ago
TCAM-based distributed parallel packet classification algorithm with range-matching solution
Packet Classification (PC) has been a critical data path function for many emerging networking applications. An interesting approach is the use of TCAM to achieve deterministic, hi...
Kai Zheng, Hao Che, Zhijun Wang, Bin Liu
ICPR
2006
IEEE
14 years 8 months ago
Motion-Based Handwriting Recognition for Mobile Interaction
This paper presents a new interaction technique for camera-enabled mobile devices. The handheld device can be used for writing just by moving the device. In our method, interframe...
Janne Heikkilä, Jari Hannuksela, Pekka Sangi
ICASSP
2008
IEEE
14 years 2 months ago
Maximum likelihood binary detection in improper complex gaussian noise
In a wide range of communication systems, including DS-CDMA and OFDM systems, the signal-of-interest might be corrupted by an improper [1] (also called non circularly symmetric [2...
Amirhossein S. Aghaei, Konstantinos N. Plataniotis...