Sciweavers

1006 search results - page 61 / 202
» Generating XML structure using examples and constraints
Sort
View
CODES
2001
IEEE
15 years 1 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
15 years 3 months ago
Operational Space Control of Multibody Systems with Explicit Holonomic Constraints
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
Vincent De Sapio, Oussama Khatib
74
Voted
BMCBI
2006
128views more  BMCBI 2006»
14 years 9 months ago
Construction of a nasopharyngeal carcinoma 2D/MS repository with Open Source XML Database - Xindice
Background: Many proteomics initiatives require integration of all information with uniformcriteria from collection of samples and data display to publication of experimental resu...
Feng Li, Maoyu Li, Zhiqiang Xiao, Pengfei Zhang, J...
DKE
2006
70views more  DKE 2006»
14 years 9 months ago
Merging news reports that describe events
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...
Anthony Hunter, Rupert Summerton
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
15 years 3 months ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...