Sciweavers

1026 search results - page 24 / 206
» Semantic Components for Timetabling
Sort
View
KBSE
1998
IEEE
14 years 2 months ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
JMLR
2006
138views more  JMLR 2006»
13 years 9 months ago
Noisy-OR Component Analysis and its Application to Link Analysis
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
Tomás Singliar, Milos Hauskrecht
DALT
2007
Springer
14 years 3 months ago
Component-Based Standardisation of Agent Communication
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
Frank Guerin, Wamberto Weber Vasconcelos
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 3 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
FORMATS
2007
Springer
14 years 1 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson