Sciweavers

14078 search results - page 2352 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
SPIN
2010
Springer
15 years 4 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
ICALP
2011
Springer
14 years 9 months ago
On Tree-Constrained Matchings and Generalizations
We consider the following Tree-Constrained Bipartite Matching problem: Given two rooted trees T1 = (V1, E1), T2 = (V2, E2) and a weight function w : V1 × V2 → R+, find a maximu...
Stefan Canzar, Khaled M. Elbassioni, Gunnar W. Kla...
ANCS
2007
ACM
15 years 10 months ago
On LID assignment in infiniBand networks
To realize a path in an InfiniBand network, an address, known as Local IDentifier (LID) in the InfiniBand specification, must be assigned to the destination and used in the forwar...
Wickus Nienaber, Xin Yuan, Zhenhai Duan
VW
2000
Springer
215views Virtual Reality» more  VW 2000»
15 years 10 months ago
A 3-D Biomechanical Model of the Salamander
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
Auke Jan Ijspeert
CVPR
2005
IEEE
16 years 8 months ago
ALIP: The Automatic Linguistic Indexing of Pictures System
In this demonstration, we present the Automatic Linguistic Indexing of Pictures (ALIP) system. The system annotates images with linguistic terms, chosen among hundreds of such ter...
Jia Li, James Ze Wang
« Prev « First page 2352 / 2816 Last » Next »