Sciweavers

12487 search results - page 228 / 2498
» Graspable Work Modeling
Sort
View
CADE
1992
Springer
15 years 8 months ago
Caching and Lemmaizing in Model Elimination Theorem Provers
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
Owen L. Astrachan, Mark E. Stickel
ICECCS
1995
IEEE
94views Hardware» more  ICECCS 1995»
15 years 7 months ago
Requirements for client/server performance modeling
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
Joseph J. Martinka
OWLED
2007
15 years 5 months ago
Experiences in Modeling Clinical Examinations in Oral Medicine Using OWL
This article describes the modeling of clinical examinations in oral medicine using OWL. Based on experiences from our previous work and knowledge model, requirements for an ontolo...
Marie Gustafsson, Göran Falkman
EACL
2006
ACL Anthology
15 years 5 months ago
Latent Variable Models for Semantic Orientations of Phrases
We propose models for semantic orientations of phrases as well as classification methods based on the models. Although each phrase consists of multiple words, the semantic orienta...
Hiroya Takamura, Takashi Inui, Manabu Okumura
IVEVA
2004
15 years 5 months ago
Interaction Modeling with Artificial Life Agents
In this work, an interaction model between artificial life agents (creatures) is proposed, which allows studying emergent social behavior of agents. This model describes the enviro...
Ernesto Germán-Soto, Leonid Sheremetov, Chr...