Sciweavers

268 search results - page 28 / 54
» Tools and techniques for rapid porting
Sort
View
LCN
1996
IEEE
15 years 2 months ago
A Class-Chest for Deriving Transport Protocols
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
W. Timothy Strayer
AAAI
2000
14 years 11 months ago
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltr...
CAIVD
1998
110views more  CAIVD 1998»
14 years 11 months ago
Video Skimming and Characterization through the Combination of Image and Language Understanding
Digital video is rapidly becoming important for education, entertainment, and a host of multimedia applications. With the size of the video collections growing to thousands of hou...
Michael A. Smith, Takeo Kanade
IVS
2008
93views more  IVS 2008»
14 years 9 months ago
Visual analysis of controversy in user-generated encyclopedias
Wikipedia is a large and rapidly growing Web-based collaborative authoring environment, where anyone on the Internet can create, modify, and delete pages about encyclopedic topics...
Ulrik Brandes, Jürgen Lerner
CTW
2008
92views more  CTW 2008»
14 years 8 months ago
WESTT (workload, error, situational awareness, time and teamwork): an analytical prototyping system for command and control
Modern developments in the use of information technology within command and control allow unprecedented degrees of flexibility in the way teams deal with tasks. These developments...
Robert J. Houghton, Chris Baber, Malcolm Cowton, G...