2293 search results - page 223 / 459 » Temporal Logic in Information Systems |
179
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
194
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
238
click to vote
ISD
1999
Springer
15 years 11 months ago
1999
Springer
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
167
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
153
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a geo-temporal gazetteer Web service that provides access to names of places and historical periods, together with the associated geotemporal information. With...