Sciweavers

3394 search results - page 493 / 679
» Regular Object Types
Sort
View
IJAC
2010
231views more  IJAC 2010»
15 years 3 months ago
Descriptive Complexity of Finite Abelian Groups
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
Walid Gomaa
IJACTAICIT
2010
117views more  IJACTAICIT 2010»
15 years 3 months ago
Qualitative Analysis on Matchmaking Techniques for Web Service Discovery
The ample adoption of web services raises the challenging problem in web service discovery. Web service discovery is the process of finding appropriate services for the user defin...
P. Dharanyadevi, P. Dhavachelvan, R. Baskaran, V. ...
APAL
2011
15 years 1 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
CORR
2011
Springer
142views Education» more  CORR 2011»
15 years 1 months ago
Power Allocation Games in Interference Relay Channels: Existence Analysis of Nash Equilibria
We consider a network composed of two interfering point-to-point links where the two transmitters can exploit one common relay node to improve their individual transmission rate. ...
Elena Veronica Belmega, Samson Lasaulce
MVA
2011
344views Computer Vision» more  MVA 2011»
15 years 1 months ago
Image registration for visual inspection of imprinted pharmaceutical tablets
Image registration plays a vital role in visual quality inspection of tablets with imprints. In this paper, three registration methods, based on direct matching of pixel intensitie...
Ziga Spiclin, Marko Bukovec, Franjo Pernus, Bostja...