6047 search results - page 718 / 1210 » Modeling with Extend |
180
click to vote
TARK
2005
Springer
16 years 13 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
187
click to vote
CP
2004
Springer
16 years 10 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
181
click to vote
ICDM
2003
IEEE
16 years 7 days ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
191
click to vote
MSWIM
2003
ACM
16 years 6 days ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
159
click to vote
SAC
2003
ACM
16 years 6 days ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...