Sciweavers

2455 search results - page 50 / 491
» Graphical abstract help
Sort
View
ENTCS
2008
97views more  ENTCS 2008»
13 years 9 months ago
POVMs and Naimark's Theorem Without Sums
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
Bob Coecke, Éric Oliver Paquette
CHARME
2005
Springer
120views Hardware» more  CHARME 2005»
14 years 2 months ago
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
Arie Gurfinkel, Marsha Chechik
CIARP
2008
Springer
13 years 10 months ago
Pattern Recognition Methods for Querying and Browsing Technical Documentation
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...
Karl Tombre, Bart Lamiroy
FDG
2009
ACM
14 years 3 months ago
A requirements analysis for videogame design support tools
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
Mark J. Nelson, Michael Mateas
EDUTAINMENT
2007
Springer
14 years 3 months ago
Teaching Structured Development of Virtual Reality Systems Using P-VoT
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
Jinseok Seo, Gerard Jounghyun Kim