2282 search results - page 456 / 457 » Active property checking |
CORR
2011
Springer
12 years 10 months ago
2011
Springer
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
INFOCOM
2011
IEEE
12 years 9 months ago
2011
IEEE
—Social networks exhibit a very special property: community structure. Understanding the network community structure is of great advantages. It not only provides helpful informat...
LACL
2011
Springer
12 years 9 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
NAR
2011
12 years 9 months ago
2011
Allostery is the most direct, rapid and efficient way of regulating protein function, ranging from the control of metabolic mechanisms to signaltransduction pathways. However, an ...
ASUNAM
2011
IEEE
12 years 6 months ago
2011
IEEE
—Modern applications such as web knowledge base, network traffic monitoring and online social networks have made available an unprecedented amount of network data with rich type...