Sciweavers

3233 search results - page 266 / 647
» Rule Modeling and Markup
Sort
View
LPNMR
2007
Springer
15 years 11 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
AVSS
2006
IEEE
15 years 11 months ago
A Random Field Model for Improved Feature Extraction and Tracking
This paper presents a novel method for illuminationinvariant and contrast preserving feature extraction, aimed at improving performance of tracking under complex light condition. ...
Xiaotong Yuan, Stan Z. Li
ISMIS
2005
Springer
15 years 11 months ago
Model-Based Cluster Analysis for Web Users Sessions
One of the main issues inWeb usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of users’sessions and di...
George Pallis, Lefteris Angelis, Athena Vakali
KR
2004
Springer
15 years 11 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
EDOC
2003
IEEE
15 years 11 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...