Sciweavers

1650 search results - page 53 / 330
» How to Turn the Page
Sort
View
AGILEDC
2007
IEEE
15 years 4 months ago
Overcoming Fear with Trust
This is a story of how one project succeeded in delighting their customer, despite being put into the most difficult of all situations for an agile team – a fixed price contract...
Brian Button
CADE
2000
Springer
15 years 2 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
ICDAR
2005
IEEE
15 years 3 months ago
Document Ranking by Layout Relevance
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
May Huang, Daniel DeMenthon, David S. Doermann, Ly...
GRAPHITE
2004
ACM
15 years 3 months ago
Augmenting the science centre and museum experience
Recent advances in computer graphics and interactive techniques have increased the visual quality and flexibility of Augmented Reality (AR) applications. This, in turn has increas...
Eric Woods, Mark Billinghurst, Julian Looser, Grah...
ESWS
2006
Springer
15 years 1 months ago
Encoding Classifications into Lightweight Ontologies
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihra...