Sciweavers

8141 search results - page 88 / 1629
» Higher Order Generalization
Sort
View
94
Voted
LOGCOM
2008
79views more  LOGCOM 2008»
15 years 2 months ago
General Models and Completeness of First-Order Modal µ-calculus
Ryo Kashima, Keishi Okamoto
95
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 2 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
68
Voted
SIAMJO
2010
62views more  SIAMJO 2010»
14 years 9 months ago
Generalized Hessians of C1, 1-Functions and Second-Order Viscosity Subjets
Given a C1,1
Luc Barbet, Aris Daniilidis, Pierpaolo Soravia
109
Voted
ICC
2007
IEEE
155views Communications» more  ICC 2007»
15 years 9 months ago
Automatic Digital Signal Types Recognition Using SI-NN and HOS
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
Ataollah Ebrahimzadeh, Mehrdad Ardebilipour, Alire...