4126 search results - page 676 / 826 » Relationships with other Formalisms |
199
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
149
click to vote
CVIU
2007
15 years 6 months ago
2007
Most digital color cameras sample only one color at each spatial location, using a single sensor coupled with a color filter array (CFA). An interpolation step called demosaicing...
183
click to vote
DKE
2007
15 years 6 months ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
164
click to vote
MAGS
2008
15 years 6 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
179
click to vote
MAGS
2008
15 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...