1418 search results - page 266 / 284 » The Dynamic Complexity of Formal Languages |
214
click to vote
FMOODS
2008
15 years 5 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
171
click to vote
IIWAS
2008
15 years 5 months ago
2008
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
157
click to vote
IJCAI
2007
15 years 5 months ago
2007
Recently, significant progress has been made on learning structured predictors via coordinated training algorithms such as conditional random fields and maximum margin Markov ne...
147
click to vote
SDL
2003
15 years 5 months ago
2003
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...
123
click to vote
WSC
1998
15 years 5 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...