3387 search results - page 197 / 678 » Automating the Metamodeling Process |
120
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
115
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since 1996 the USC Center for Software Engineering has been accumulating a large amount of software process experience through many realclient project software engineering practice...
154
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
RRL is a relational reinforcement learning system based on Q-learning in relational state-action spaces. It aims to enable agents to learn how to act in an environment that has no ...
110
Voted
JCDL
2010
ACM
15 years 10 months ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
132
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...