Sciweavers

2121 search results - page 240 / 425
» Experimental Analysis of BRDF Models
Sort
View
PASTE
2004
ACM
14 years 3 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
MLMI
2004
Springer
14 years 3 months ago
Multistream Dynamic Bayesian Network for Meeting Segmentation
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
Alfred Dielmann, Steve Renals
IPPS
2003
IEEE
14 years 2 months ago
Grid Harvest Service: A System for Long-Term, Application-Level Task Scheduling
With the emergence of grid computing environment, performance measurement, analysis and prediction of non-dedicated distributed systems have become increasingly important. In this...
Xian-He Sun, Ming Wu
ESSMAC
2003
Springer
14 years 2 months ago
Simultaneous Localization and Surveying with Multiple Agents
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
Sam T. Roweis, Ruslan Salakhutdinov
APSEC
2002
IEEE
14 years 2 months ago
Has Twenty-five Years of Empirical Software Engineering Made a Difference?
Our activities in software engineering typically fall into one of three categories, (1) to invent new phenomena, (2) to understand existing phenomena, and (3) to facilitate inspir...
D. Ross Jeffery, Louise Scott