Sciweavers

5608 search results - page 535 / 1122
» Structure description tools
Sort
View
EDO
2006
Springer
15 years 10 months ago
Service communities: applications and middleware
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
Stefan Tai, Nirmit Desai, Pietro Mazzoleni
RTA
2000
Springer
15 years 10 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 10 months ago
Timing optimization by bit-level arithmetic transformations
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
Luc Rijnders, Zohair Sahraoui, Paul Six, Hugo De M...
AAAI
2007
15 years 9 months ago
Partial Matchmaking using Approximate Subsumption
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
Heiner Stuckenschmidt
FLAIRS
2007
15 years 9 months ago
A Linguistically-Based Segmentation of Complex Sentences
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
Vladislav Kubon, Markéta Lopatková, ...