Sciweavers

2725 search results - page 458 / 545
» A framework for P2P application development
Sort
View
TACS
1994
Springer
15 years 7 months ago
ML Typing, Explicit Polymorphism and Qualified Types
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
Mark P. Jones
113
Voted
VLDB
1989
ACM
87views Database» more  VLDB 1989»
15 years 7 months ago
Situation Monitoring for Active Databases
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
Arnon Rosenthal, Sharma Chakravarthy, Barbara T. B...
136
Voted
AUSAI
2009
Springer
15 years 7 months ago
Classification of EEG for Affect Recognition: An Adaptive Approach
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
Omar AlZoubi, Rafael A. Calvo, Ronald H. Stevens
137
Voted
ATAL
2007
Springer
15 years 7 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
127
Voted
ICPR
2010
IEEE
15 years 7 months ago
Human Pose Estimation for Multiple Persons Based on Volume Reconstruction
—Most of the development of pose recognition focused on a single person. However, many applications of computer vision essentially require the estimation of multiple people. Henc...
Xinghan Luo