4166 search results - page 231 / 834 » Automating the constraining process |
138
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
113
Voted
LICS
2009
IEEE
15 years 10 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...
111
click to vote
ISPW
2005
IEEE
15 years 9 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...
140
Voted
ILP
2003
Springer
15 years 9 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 ...
103
click to vote
JCDL
2010
ACM
15 years 9 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. ...