Sciweavers

2340 search results - page 238 / 468
» Data abstraction and information hiding
Sort
View
CSDA
2010
124views more  CSDA 2010»
15 years 6 months ago
Statistical inference on attributed random graphs: Fusion of graph features and content
Abstract: Fusion of information from graph features and content can provide superior inference for an anomaly detection task, compared to the corresponding content-only or graph fe...
John Grothendieck, Carey E. Priebe, Allen L. Gorin
DSS
2007
122views more  DSS 2007»
15 years 6 months ago
A stochastic beam search for the berth allocation problem
Abstract. In this paper, the optimization of the Berth Allocation Problem (BAP) is transformed into a multiple stage decision making procedure and a new stochastic beam search algo...
Fan Wang, Andrew Lim
IFIPTCS
2010
15 years 4 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay
BPSC
2010
285views Business» more  BPSC 2010»
15 years 3 months ago
Crossing the Chasm Between the Real World and Business Process Management
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...
Markus Schief, Benedikt Schmidt
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...