Sciweavers

719 search results - page 114 / 144
» What HMMs Can Do
Sort
View
DIGRA
2005
Springer
14 years 1 months ago
Playful Play with Games: Linking Level Editing to Learning in Art and Design
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...
Maia Engeli
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 29 days ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
SIGCOMM
2003
ACM
14 years 24 days ago
A knowledge plane for the internet
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
David D. Clark, Craig Partridge, J. Christopher Ra...
IWSSD
1993
IEEE
13 years 11 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
DSN
2007
IEEE
13 years 11 months ago
Augmenting Branch Predictor to Secure Program Execution
Although there are various ways to exploit software vulnerabilities for malicious attacks, the attacks always result in unexpected behavior in program execution, deviating from wh...
Yixin Shi, Gyungho Lee