Sciweavers

4205 search results - page 622 / 841
» Typed Mobile Objects
Sort
View
GRAPHICSINTERFACE
2009
13 years 5 months ago
Rendering the effect of labradoescence
Labradorescence is a complex optical phenomenon that can be found in certain minerals, such as Labradorite or Spectrolite. Because of their unique colour properties, these mineral...
Andrea Weidlich, Alexander Wilkie
ICUMT
2009
13 years 5 months ago
Moving data in DTNs with HTTP and MIME
Multipurpose Internet Mail Extensions (MIME) provide a simple way to describe the type of data sent and its use. Email and the web use MIME extensively to carry different files. Th...
Lloyd Wood, Peter Holliday, Daniel Floreani, Ioann...
IJAC
2010
231views more  IJAC 2010»
13 years 5 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»
13 years 5 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
13 years 3 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...