Sciweavers

12289 search results - page 2179 / 2458
» System modeling with mixed object and data models
Sort
View
TASE
2008
IEEE
16 years 1 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
16 years 28 days ago
CRF-Filters: Discriminative Particle Filters for Sequential State Estimation
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...
Benson Limketkai, Dieter Fox, Lin Liao
DBPL
2007
Springer
75views Database» more  DBPL 2007»
16 years 24 days ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
16 years 20 days ago
Optimizing an IT Project Portfolio with Time-Wise Interdependencies
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
Indranil R. Bardhan, Robert J. Kauffman, Sanjeewa ...
ICANN
2005
Springer
16 years 4 days ago
Learning Features of Intermediate Complexity for the Recognition of Biological Motion
Humans can recognize biological motion from strongly impoverished stimuli, like point-light displays. Although the neural mechanism underlying this robust perceptual process have n...
Rodrigo Sigala, Thomas Serre, Tomaso Poggio, Marti...
« Prev « First page 2179 / 2458 Last » Next »