Sciweavers

3692 search results - page 454 / 739
» Active learning and its use in computer science
Sort
View
FOCS
1998
IEEE
15 years 11 months ago
Jitter Control in QoS Networks
We study jitter control in networks with guaranteed quality of service (QoS) from the competitive analysis point of view: we propose on-line algorithms that control jitter and comp...
Yishay Mansour, Boaz Patt-Shamir
ACSC
2004
IEEE
15 years 10 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
ISI
2005
Springer
16 years 7 days ago
Information Supply Chain: A Unified Framework for Information-Sharing
To balance demand and supply of information, we propose a framework called “information supply chain” (ISC). This framework is based on supply chain management (SCM), which has...
Shuang Sun, John Yen
HICSS
2007
IEEE
169views Biometrics» more  HICSS 2007»
16 years 1 months ago
RiverInk--An Extensible Framework for Multimodal Interoperable Ink
Pen-based interfaces offer exciting opportunities in ubiquitous computing by enabling new hardware form factors and socially acceptable computing tasks. However, prevailing ink re...
Jonathan Neddenriep, William G. Griswold
FECS
2006
142views Education» more  FECS 2006»
15 years 8 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira