2467 search results - page 389 / 494 » Finite State Machines |
WSC
2007
15 years 3 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
102
Voted
ISQED
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
84
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
ACL
2008
15 years 2 months ago
2008
Paraphrases have proved to be useful in many applications, including Machine Translation, Question Answering, Summarization, and Information Retrieval. Paraphrase acquisition meth...
BCSHCI
2007
2007
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
15 years 2 months ago
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...