Sciweavers

726 search results - page 27 / 146
» Recent advances in computational models of natural argument
Sort
View
79
Voted
IJMMS
2006
71views more  IJMMS 2006»
15 years 17 days ago
Supporting knowledge-intensive inspection tasks with application ontologies
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...
Nicole J. J. P. Koenderink, Jan L. Top, Lucas J. v...
ICIW
2007
IEEE
15 years 7 months ago
A Faceted Approach to Service Specification
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
James Walkerdine, John Hutchinson, Peter Sawyer, G...
VISUALIZATION
2003
IEEE
15 years 5 months ago
Visualizing Spatial and Temporal Variability in Coastal Observatories
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
Walter Jiménez, Wagner Toledo Corrêa,...
QEST
2007
IEEE
15 years 6 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
84
Voted
IPSN
2005
Springer
15 years 6 months ago
Sensing capacity for discrete sensor network applications
We bound the number of sensors required to achieve a desired level of sensing accuracy in a discrete sensor network application (e.g. distributed detection). We model the state of...
Yaron Rachlin, Rohit Negi, Pradeep K. Khosla