Sciweavers

929 search results - page 68 / 186
» Computer assistance for model definition
Sort
View
NBIS
2007
Springer
15 years 4 months ago
Trust Model for Mobile Devices in Ubiquitous Environment
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...
Zhefan Jiang, Sangwook Kim
CVPR
2001
IEEE
15 years 12 months ago
Automatic Description of Buildings with Complex Rooftops from Multiple Images
We present a model-based approach to detecting and describing compositions of buildings with complex rooftops. Previous approaches have dealt with either simpler models or models ...
Zu Whan Kim, Andres Huertas, Ramakant Nevatia
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 2 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
CORR
2004
Springer
124views Education» more  CORR 2004»
14 years 9 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini
ICNP
1999
IEEE
15 years 2 months ago
A Behavioral Model of Web Traffic
The growing importance of Web traffic on the Internet makes it important that we have accurate traffic models in order to plan and provision. In this paper we present a Web traffi...
Hyoung-Kee Choi, John O. Limb