2989 search results - page 218 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
126
Voted
SIGCOMM
1998
ACM
15 years 6 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
145
click to vote
EJC
2000
15 years 3 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
121
click to vote
COLING
1996
15 years 3 months ago
1996
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
121
Voted
ICCS
1997
Springer
15 years 6 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
135
Voted
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...