Sciweavers

1864 search results - page 90 / 373
» Formal topology and domains
Sort
View
KDD
2009
ACM
269views Data Mining» more  KDD 2009»
16 years 6 months ago
Extracting discriminative concepts for domain adaptation in text mining
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
Bo Chen, Wai Lam, Ivor Tsang, Tak-Lam Wong
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
16 years 15 days ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
IUI
1998
ACM
15 years 10 months ago
U-TEL: A Tool for Eliciting User Task Models from Domain Experts
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
R. Chung-Man Tam, David Maulsby, Angel R. Puerta
INFORMS
1998
150views more  INFORMS 1998»
15 years 6 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
ISCAS
2002
IEEE
97views Hardware» more  ISCAS 2002»
15 years 11 months ago
High-frequency dynamic translinear and log-domain circuits in CMOS technology
A new topology for translinear filters in CMOS IC technology is presented. This translinear filter is based on the exponential relation of passive PN-diodes in CMOS technology whi...
Sandro A. P. Haddad, Wouter A. Serdijn