942 search results - page 145 / 189 » University Information System Fully Based on WWW |
CI
2005
13 years 8 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...
SAB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal, modular, and mechanized veriļ¬cation of realistic systems code is desirable but challenging. Veriļ¬cation of machine context management (a basis of multi-tasking) is one ...