Sciweavers

941 search results - page 31 / 189
» The Parking Permit Problem
Sort
View
126
Voted
ICAT
2007
IEEE
15 years 7 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...
137
Voted
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 7 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
135
Voted
EUC
2004
Springer
15 years 7 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 ...
125
Voted
AIPS
2006
15 years 5 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...
121
Voted
EMNLP
2007
15 years 5 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