7961 search results - page 1056 / 1593 » Input-Output Model Programs |
201
Voted
TACAS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
196
click to vote
UM
2005
Springer
16 years 17 days ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
231
click to vote
WINE
2005
Springer
16 years 17 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
215
click to vote
SIGMOD
2004
ACM
16 years 15 days ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
181
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...