2153 search results - page 353 / 431 » From Requirements Models to Formal Specifications in B |
176
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
158
click to vote
GLVLSI
2009
IEEE
16 years 28 days ago
2009
IEEE
The miniaturization of transistors in recent technology nodes requires tremendous back-end tuning and optimizations, making bug fixing at later design stages more expensive. Ther...
133
click to vote
AAAI
2006
15 years 7 months ago
2006
Following verbal route instructions requires knowledge of language, space, action and perception. We present MARCO, an agent that follows free-form, natural language route instruc...
179
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
149
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...