21342 search results - page 446 / 4269 » Structured language modeling |
289
Voted
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
188
Voted
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with a development of a videobased recognition system of continuous sign language. The system aimsfor an automatic signer dependent recognition of sign lan...
162
Voted
WSC
1993
15 years 8 months ago
1993
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
1796
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
162
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...