Sciweavers

1941 search results - page 146 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
BIRTHDAY
2004
Springer
15 years 10 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
SAC
2003
ACM
15 years 10 months ago
Semantic Matchmaking in a P-2-P Electronic Marketplace
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
133
Voted
ICALP
2004
Springer
15 years 10 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott
191
Voted
ICCSA
2007
Springer
15 years 8 months ago
Modeling a Legged Robot for Visual Servoing
This article presents a contribution to the visual tracking of objects using all the degrees of freedom of an Aibo ERS-7 robot. We approach this issue in a principled way applying ...
Zelmar Echegoyen, Alicia D'Anjou, Manuel Gra&ntild...
BMCBI
2007
145views more  BMCBI 2007»
15 years 5 months ago
Improved benchmarks for computational motif discovery
Background: An important step in annotation of sequenced genomes is the identification of transcription factor binding sites. More than a hundred different computational methods h...
Geir Kjetil Sandve, Osman Abul, Vegard Walseng, Fi...