Sciweavers

1261 search results - page 176 / 253
» Adaptive brain-computer interface
Sort
View
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
14 years 2 months ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha
ICCS
2003
Springer
14 years 2 months ago
An Efficient Collective Communication Method for Grid Scale Networks
Abstract. This research is to design a collection of effective collective operations for the Grid scale network environment. In the Grid, several network features should be specifi...
Kyung-Lang Park, Hwang-Jik Lee, Youn-Joo Lee, Oh-Y...
COMPSAC
2002
IEEE
14 years 2 months ago
Using XML to Integrate Existing Software Systems into the Web
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
Harry M. Sneed
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
14 years 2 months ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy
ISCAS
2002
IEEE
190views Hardware» more  ISCAS 2002»
14 years 2 months ago
A high performance JPEG2000 architecture
—JPEG2000 is an upcoming compression standard for still images that has a feature set well tuned for diverse data dissemination. These features are possible due to adaptation of ...
Kishore Andra, Chaitali Chakrabarti, Tinku Acharya