1283 search results - page 173 / 257 » Science: the rules of the game |
110
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
We developed a transcoder gateway that is designed to transform any website on the fly and to adapt the website to the user’s preference and limitations. The gateway applies acc...
183
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
145
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
After defining a Universe for computer science in opposition to the Universe of biology, this paper presents the roles that cellular division plays in both of them. Based on the ni...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
156
click to vote
ISCI
1998
15 years 6 months ago
1998
This paper presents a method for updating approximations of a concept incrementally. The results can be used to implement a quasi-incremental algorithm for learning classification...