Sciweavers

497 search results - page 66 / 100
» DNA Computing Based on Splicing: Universality Results
Sort
View
IV
2005
IEEE
197views Visualization» more  IV 2005»
14 years 2 months ago
Mobile Augmented Reality Techniques for GeoVisualisation
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
Fotis Liarokapis, Ian Greatbatch, David Mountain, ...
SKG
2005
IEEE
14 years 2 months ago
Information Services for Dynamically Assembled Semantic Grids
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce
PATAT
2004
Springer
135views Education» more  PATAT 2004»
14 years 2 months ago
A Column Generation Scheme for Faculty Timetabling
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...
Andrea Qualizza, Paolo Serafini
FP
1995
110views Formal Methods» more  FP 1995»
14 years 18 days ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
14 years 17 days ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun