10910 search results - page 1776 / 2182 » Input modeling using a computer algebra system |
191
click to vote
MVA
2008
15 years 7 months ago
2008
The problem of automated visual surveillance has spawned a lively research area, with 2005 seeing three conferences or workshops and special issues of two major journals devoted to...
188
click to vote
GROUP
2009
ACM
15 years 5 months ago
2009
ACM
"Open contribution systems" (OCS) are online applications that encourage users to contribute and share content in a "public" and open manner. While these syste...
238
click to vote
CLOUDCOM
2010
Springer
15 years 5 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
233
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
232
click to vote
AGP
2003
IEEE
16 years 27 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...