Sciweavers

1018 search results - page 163 / 204
» Generative unbinding of names
Sort
View
MST
2010
101views more  MST 2010»
13 years 7 months ago
Automatic Presentations and Semigroup Constructions
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Ric...
OTM
2010
Springer
13 years 7 months ago
Collecting, Annotating, and Classifying Public Web Services
The limitations of the traditional SOA operational model, such as the lack of rich service descriptions, weaken the role of service registries. Their removal from the model violate...
Mohammed AbuJarour, Felix Naumann, Mircea Craculea...
PROCEDIA
2010
75views more  PROCEDIA 2010»
13 years 7 months ago
Two derivative-free optimization algorithms for mesh quality improvement
High-quality meshes are essential in the solution of partial differential equations (PDEs), which arise in numerous science and engineering applications, as the mesh quality aff...
Jeonghyung Park, Suzanne M. Shontz
TVCG
2010
213views more  TVCG 2010»
13 years 7 months ago
Real-Time Detection and Tracking for Augmented Reality on Mobile Phones
—In this paper, we present three techniques for 6DOF natural feature tracking in real time on mobile phones. We achieve interactive frame rates of up to 30 Hz for natural feature...
Daniel Wagner, Gerhard Reitmayr, Alessandro Mullon...
WIAS
2010
102views more  WIAS 2010»
13 years 7 months ago
Information security underlying transparent computing: Impacts, visions and challenges
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
Yaoxue Zhang, Laurence Tianruo Yang, Yuezhi Zhou, ...