2233 search results - page 366 / 447 » Modular type classes |
115
Voted
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
128
click to vote
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
146
Voted
EKAW
2008
Springer
15 years 4 months ago
2008
Springer
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
120
Voted
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
126
Voted
AIA
2007
15 years 3 months ago
2007
A fundamental assumption often made in supervised classification is that the problem is static, i.e. the description of the classes does not change with time. However many practi...