1664 search results - page 198 / 333 » Towards Partial Reasoning |
165
click to vote
PADL
2012
Springer
14 years 15 days ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
158
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
A key goal of far-field activity analysis is to learn the usual pattern of activity in a scene and to detect statistically anomalous behavior. We propose a method for unsupervised...
232
Voted
GIS
2008
ACM
16 years 6 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
117
click to vote
ISPW
2009
IEEE
15 years 11 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
135
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...