1458 search results - page 239 / 292 » Extended Term Rewriting Systems |
148
Voted
TASE
2008
IEEE
15 years 18 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
117
click to vote
SENSYS
2010
ACM
14 years 10 months ago
2010
ACM
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
91
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
87
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
105
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
We consider the problem of improving named entity recognition (NER) systems by using external dictionaries--more specifically, the problem of extending state-of-the-art NER system...