Sciweavers

918 search results - page 104 / 184
» e-Procurement Using Goal Programming
Sort
View
LREC
2008
104views Education» more  LREC 2008»
13 years 10 months ago
Performance Evaluation of Speech Translation Systems
One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem,...
Brian A. Weiss, Craig Schlenoff, Greg Sanders, Mic...
WFLP
2009
Springer
239views Algorithms» more  WFLP 2009»
14 years 3 months ago
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
Michael Leuschel, Salvador Tamarit, Germán ...
KBSE
2005
IEEE
14 years 2 months ago
A threat-driven approach to modeling and verifying secure software
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
Dianxiang Xu, Kendall E. Nygard
ICIP
2004
IEEE
14 years 10 months ago
Optimal object-based video communications over differentiated services networks
In this paper, we propose an optimal unequal error protection scheme for object-based video communications over differentiated services networks. Our goal is to achieve the best v...
Haohong Wang, Fan Zhai, Yiftach Eisenberg, Aggelos...
WMTE
2005
IEEE
14 years 2 months ago
G1: 1 Scenarios: Envisioning the Context for WMTE in 2015
The G1:1 international network of learning researchers met to identify major trends and uncertainties that could drive the evolution of learning technology. Using a technique call...
Jeremy Roschelle, Charles Patton, John Brecht, Mar...