2316 search results - page 38 / 464 » The many forms of hypercomputation |
144
click to vote
ICIDS
2010
Springer
15 years 2 months ago
2010
Springer
This paper describes a preliminary investigation into the concept of rereadability in interactive stories. Through a close reading of the text-based interactive fiction Alabaster, ...
133
click to vote
ITP
2010
15 years 6 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
155
click to vote
IJCAI
2007
15 years 5 months ago
2007
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
114
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Sakurai-Newton (SN) delay metric [1] is a widely used closed form delay metric for CMOS gates because of simplicity and reasonable accuracy. Nevertheless it can be shown that t...
127
click to vote
WOWMOM
2006
ACM
15 years 10 months ago
2006
ACM
The evolution of wireless devices along with the increase in user mobility have created new challenges such as network partitioning and intermittent connectivity. These new challe...