Sciweavers

1593 search results - page 114 / 319
» An Intelligent Model and Its Implementation of Search Engine
Sort
View
DAC
2005
ACM
16 years 5 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
FLAIRS
2008
15 years 6 months ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie
IUI
2004
ACM
15 years 9 months ago
Ontology modeling tool with concept dictionary
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
Yoichi Hiramatsu, Seiji Koide
TAAS
2010
124views more  TAAS 2010»
14 years 10 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
AOSE
2005
Springer
15 years 9 months ago
Improving AOSE with an Enriched Modelling Framework
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
Richard Hill, Simon Polovina, Martin D. Beer