Sciweavers

2565 search results - page 337 / 513
» Object type constructors
Sort
View
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...
JLP
2010
142views more  JLP 2010»
15 years 1 months ago
Relational bytecode correlations
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
Lennart Beringer