19866 search results - page 3598 / 3974 » Computing all factorizations in *** |
193
Voted
NOSSDAV
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we propose a fully distributed peer-to-peer (P2P) infrastructure supporting Networked Virtual Environment (NVE) applications, such as massively multiplayer online ga...
199
Voted
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
187
Voted
PKDD
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
173
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
187
Voted
TLCA
2005
Springer
16 years 10 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...