Sciweavers

941 search results - page 31 / 189
» The Parking Permit Problem
Sort
View
ICAT
2007
IEEE
15 years 3 months ago
Direct-Projected AR Based Interactive User Interface for Medical Surgery
In the field of computer aided surgery, augmented reality (AR) technology has been successfully used for enhancing accuracy of surgery and making surgeons convenient by visually a...
Byung-Kuk Seo, Moon-Hyun Lee, Hanhoon Park, Jong-I...
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 3 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
EUC
2004
Springer
15 years 3 months ago
An Improved Handoff Technique for a Seamless Multimedia Services
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
Seung-Won Lee, Hyeon-Ok Hong, Seong-Ho Park, Yong ...
AIPS
2006
15 years 1 months ago
Tractable Optimal Competitive Scheduling
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
Jeremy Frank, James Crawford, Lina Khatib, Ronen I...
EMNLP
2007
15 years 1 months ago
A Sequence Alignment Model Based on the Averaged Perceptron
We describe a discriminatively trained sequence alignment model based on the averaged perceptron. In common with other approaches to sequence modeling using perceptrons, and in co...
Dayne Freitag, Shahram Khadivi