8337 search results - page 1352 / 1668 » Reasoning With Characteristic Models |
154
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
168
Voted
ICIAR
2005
Springer
16 years 4 days ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...
168
click to vote
ILP
2005
Springer
16 years 4 days ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
185
click to vote
SIGSOFT
2004
ACM
16 years 2 days ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
164
Voted
APPROX
2004
Springer
16 years 1 days ago
2004
Springer
In many economic settings, convex figures on the plane are for sale. For example, one might want to sell advertising space on a newspaper page. Selfish agents must be motivated ...