Sciweavers

192 search results - page 23 / 39
» Computer Assisted Grammar Construction
Sort
View
WSC
2008
13 years 10 months ago
Simulation-based, optimized scheduling of limited bar-benders over multiple building sites
In the construction industry, a specialist subcontractor manages a taskforce of single-skilled laborers to work on multiple construction sites, aiming to minimize the total cost a...
Hoi-Ching Lam, Ming Lu
TPHOL
2003
IEEE
14 years 1 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
POS
1994
Springer
14 years 18 days ago
Hardware Support for Stability in a Persistent Architecture
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
Frans A. Henskens, D. M. Koch, Rasool Jalili, John...
ERCIMDL
1998
Springer
174views Education» more  ERCIMDL 1998»
14 years 22 days ago
Intelligent Multimedia Communication
Multimedia communication is a part of everyday life and its appearance in computer applications is increasing in frequency and diversity. Intelligent or knowledge based computer su...
Mark T. Maybury, Oliviero Stock, Wolfgang Wahlster
LOCA
2007
Springer
14 years 2 months ago
Information Overlay for Camera Phones in Indoor Environments
Increasingly, cell phones are used to browse for information while location systems assist in gathering information that is most appropriate to the user’s current location. We se...
Harlan Hile, Gaetano Borriello