Sciweavers

1604 search results - page 161 / 321
» Development Separation in Lambda-Calculus
Sort
View
101
Voted
OZCHI
2006
ACM
15 years 6 months ago
A table tennis game for three players
Table tennis is a game that can provide healthy exercise and is also a social pastime for players of all ages across the world. However, players have to be collocated to play, and...
Florian Mueller, Martin R. Gibbs
97
Voted
WWW
2005
ACM
15 years 6 months ago
XSLT by example
XQBE (XQuery By Example, [1]), a visual dialect of XQuery, uses hierarchical structures to express transformations between XML documents. XSLT, the standard transformation languag...
Daniele Braga, Alessandro Campi, Roberto Cappa, Da...
105
Voted
CIKM
2005
Springer
15 years 6 months ago
Generating better concept hierarchies using automatic document classification
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
Razvan Stefan Bot, Yi-fang Brook Wu, Xin Chen, Qua...
COORDINATION
2005
Springer
15 years 6 months ago
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
Giovanni Russello, Michel R. V. Chaudron, Maarten ...
102
Voted
ECAI
2004
Springer
15 years 5 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...