585 search results - page 98 / 117 » Structured Formal Development in Isabelle |
121
click to vote
IJCAI
2001
15 years 1 months ago
2001
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
COLING
1996
15 years 1 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
94
Voted
IJFCS
2006
14 years 11 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
102
click to vote
JCB
2008
14 years 11 months ago
2008
The spatial clustering of genes across different genomes has been used to study important problems in comparative genomics, from identification of operons to detection of homologo...
TKDE
2008
14 years 11 months ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...