626 search results - page 51 / 126 » When Can Formal Methods Make a Real Difference |
137
click to vote
KCAP
2009
ACM
15 years 8 months ago
2009
ACM
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
140
Voted
SDM
2007
SIAM
15 years 4 months ago
2007
SIAM
In recent years, privacy preserving data mining has become very important because of the proliferation of large amounts of data on the internet. Many data sets are inherently high...
135
click to vote
DASFAA
2007
IEEE
15 years 9 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
117
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
102
Voted
TVCG
2010
15 years 1 months ago
2010
— We present a visualization technique for simulated fluid dynamics data that visualizes the gradient of the velocity field in an intuitive way. Our work is inspired by rheosco...