Sciweavers

3259 search results - page 355 / 652
» Modeling Autonomous-System Relationships
Sort
View
IRI
2007
IEEE
15 years 11 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
CIE
2007
Springer
15 years 11 months ago
Input-Dependence in Function-Learning
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
Sanjay Jain, Eric Martin, Frank Stephan
ICOST
2007
Springer
15 years 11 months ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
AVSS
2006
IEEE
15 years 11 months ago
Fusion of Omnidirectional and PTZ Cameras for Accurate Cooperative Tracking
Dual camera systems (omnidirectional and slaved PTZ cameras) are widely used in public area monitoring and target tracking. However, due to their low and non-uniform resolution, o...
Yi Yao, Besma R. Abidi, Mongi A. Abidi
IEEECGIV
2006
IEEE
15 years 11 months ago
Towards Classifying Visualization in Team Sports
Visualization and team sports have an important and established relationship that is seldom understood. Team sports can be considered as complex activities ng a considerable numbe...
Mitchell Page, Andrew Vande Moere