6167 search results - page 895 / 1234 » Can Refinement be Automated |
141
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
To cope with the large amount of biological sequences being produced, a significant number of genes and proteins have been annotated by automated tools. A protein annotation is an...
165
Voted
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
153
click to vote
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
170
click to vote
DLOG
2008
15 years 7 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
147
click to vote
USENIX
2008
15 years 7 months ago
2008
Network emulation is valuable largely because of its ability to study applications running on real hosts and "somewhat real" networks. However, conservatively allocating...