Sciweavers

1164 search results - page 149 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
CDVE
2007
Springer
156views Visualization» more  CDVE 2007»
15 years 10 months ago
Semantic Web Services Discovery System with QoS for Enhanced Web Services Quality
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
Okkyung Choi, Heejai Choi, Zoonky Lee, Sangyong Ha...
PLDI
2006
ACM
15 years 10 months ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
ITS
2004
Springer
119views Multimedia» more  ITS 2004»
15 years 9 months ago
The Social Role of Technical Personnel in the Deployment of Intelligent Tutoring Systems
Most of the prior descriptions of the important relationships in Intelligent Tutoring System (ITS) projects have focused on the relationships involved in their use in classrooms, ...
Ryan Shaun Baker, Angela Z. Wagner, Albert T. Corb...
ICDE
2008
IEEE
141views Database» more  ICDE 2008»
16 years 5 months ago
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams
In this paper, we present a new technique, called Stream Projected Ouliter deTector (SPOT), to deal with outlier detection problem in high-dimensional data streams. SPOT is unique ...
Ji Zhang, Qigang Gao, Hai H. Wang
EOR
2006
66views more  EOR 2006»
15 years 4 months ago
Performance prediction of an unmanned airborne vehicle multi-agent system
Consider unmanned airborne vehicle (UAV) control agents in a dynamic multi-agent system. The agents must have a set of goals such as destination airport and intermediate positions...
Zhaotong Lian, Abhijit Deshmukh