5105 search results - page 607 / 1021 » Approximate Structural Consistency |
157
Voted
ASM
2008
ASM
15 years 9 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
192
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...
185
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
189
Voted
ICALT
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
147
Voted
ACL
2008
15 years 8 months ago
2008
This paper is concerned with the problem of question search. In question search, given a question as query, we are to return questions semantically equivalent or close to the quer...