Sciweavers

9842 search results - page 141 / 1969
» Compositional timing analysis
Sort
View
CLA
2007
13 years 10 months ago
Concept Analysis on Structured, Multi-valued and Incomplete Data
This paper presents an approach to Concept Analysis of structured, multivalued and incomplete data currently present in life science knowledge bases. We are concerned with tree str...
David Grosser, Henri Ralambondrainy
ICRA
2008
IEEE
147views Robotics» more  ICRA 2008»
14 years 3 months ago
Fast scale prototyping for folded millirobots
— We present a set of tools and a process, making use of inexpensive and environmentally friendly materials, that enable the rapid realization of fully functional large scale pro...
Aaron M. Hoover, Ronald S. Fearing
GI
2007
Springer
14 years 3 months ago
On Factoring Arbitrary Integers with Known Bits
: We study the factoring with known bits problem, where we are given a composite integer N = p1p2 . . . pr and oracle access to the bits of the prime factors pi, i = 1, . . . , r. ...
Mathias Herrmann, Alexander May
DALT
2009
Springer
14 years 1 months ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
ACL
2010
13 years 7 months ago
Contextualizing Semantic Representations Using Syntactically Enriched Vector Models
We present a syntactically enriched vector model that supports the computation of contextualized semantic representations in a quasi compositional fashion. It employs a systematic...
Stefan Thater, Hagen Fürstenau, Manfred Pinka...