10707 search results - page 572 / 2142 » Designing executable abstractions |
170
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
262
click to vote
BPSC
2010
15 years 4 months ago
2010
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
267
click to vote
CAV
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
173
Voted
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a protocol for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of transla...
242
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The optimal model parameters of a kernel machine are typically given by the solution of a convex optimisation problem with a single global optimum. Obtaining the best p...