Sciweavers

1469 search results - page 48 / 294
» Structural aspects of tilings
Sort
View
SAFECOMP
1998
Springer
15 years 2 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
IWEC
2004
15 years 15 days ago
From Artistry to Automation: A Structured Methodology for Procedural Content Creation
Procedural techniques will soon automate many aspects of content creation for computer games. We describe an efficient, deterministic, methodology for procedurally generating 3D ga...
Timothy Roden, Ian Parberry
81
Voted
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
14 years 9 months ago
A game-theoretic procedure for learning hierarchically structured strategies
— This paper addresses the problem of acquiring a hierarchically structured robotic skill in a nonstationary environment. This is achieved through a combination of learning primi...
Benjamin Rosman, Subramanian Ramamoorthy
IC
2009
14 years 9 months ago
Vague Content and Structure (VCAS) Retrieval for XML Electronic Healthcare Records (EHR)
Retrieving information from EHRs that are represented as XML documents is an important aspect for the users of this domain. Such retrieving may lead to some vague queries. There i...
Baydaa Al-Hamadani, Raad Alwan, Joan Lu, Jim Yip
CVPR
2010
IEEE
15 years 7 months ago
Efficient Action Spotting based on a Spacetime Oriented Structure Representation
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
Konstantinos Derpanis, Mikhail Sizintsev, Kevin Ca...