10707 search results - page 1887 / 2142 » Designing executable abstractions |
191
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
189
Voted
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
207
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract--Mobility is a requirement not appropriately addressed by the original design of the Internet since an IP address has two fundamentally different tasks. It specifies a net...
217
click to vote
DMSN
2007
ACM
15 years 11 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
207
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...