5630 search results - page 157 / 1126 » Computability in Specification |
134
click to vote
WSC
2004
15 years 5 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
140
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
138
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Human Visual attention (HVA) is an important strategy to focus on specific information while observing and understanding visual stimuli. HVA involves making a series of fixations ...
115
click to vote
CSDA
2008
15 years 4 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
123
click to vote
COR
2006
15 years 4 months ago
2006
We consider an obnoxious facility location problem in which the facility is a trajectory consisting of a bounded length polygonal chain of two edges having extremes anchored at tw...