Sciweavers

3268 search results - page 407 / 654
» Structured Service Composition
Sort
View
ICML
2009
IEEE
16 years 7 months ago
Incorporating domain knowledge into topic modeling via Dirichlet Forest priors
Users of topic modeling methods often have knowledge about the composition of words that should have high or low probability in various topics. We incorporate such domain knowledg...
David Andrzejewski, Xiaojin Zhu, Mark Craven
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
16 years 1 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
DASH: A dynamic 16g hexapedal robot
—DASH is a small, lightweight, power autonomous robot capable of running at speeds up to 15 body lengths per second (see video). Drawing inspiration from biomechanics, DASH has a...
Paul Birkmeyer, Kevin Peterson, Ronald S. Fearing
SEMWEB
2009
Springer
16 years 1 months ago
Change Representation For OWL 2 Ontologies
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
Raúl Palma, Peter Haase, Óscar Corch...
SOCO
2009
Springer
16 years 1 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...