989 search results - page 42 / 198 » HowNet and Its Computation of Meaning |
204
Voted
MCS
2010
Springer
15 years 2 months ago
2010
Springer
A vertex model for the simulation of grain growth and grain boundary migration is developed and its implementation is explained in detail. The utilization of the model is also exe...
168
click to vote
BIS
2010
15 years 2 months ago
2010
The success of information supply strongly depends on successful user adoption. This especially is the case for the integration of non-human information sources deriving from ubiqu...
204
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
127
click to vote
IGPL
2008
15 years 3 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
144
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
The title ‘Playful Play with Games’ refers to the possibility of creative involvement with games by altering their structure in a playful way. The focus of this paper is on mo...