default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SAC 2005: Santa Fe, New Mexico, USA
- Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright:
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. ACM 2005, ISBN 1-58113-964-0
Keynote Address
- Bob Hutchinson:
The future of systematic information protection. 1 - Ramon E. Moore:
Order relations and rigor in computing. 2
AI and Computational Logic and Image Analysis (AI)
- Chih-Cheng Hung:
Editorial message: special track on artificial intelligence, computational logic and image analysis. 3 - Grégory Valigiani, Raphael Biojout, Yannick Jamont, Evelyne Lutton
, Claire Bourgeois-République, Pierre Collet:
Experimenting with a real-size man-hill to optimize pedagogical paths. 4-8 - Marco Antonio Montes de Oca, Leonardo Garrido, José-Luis Aguirre:
An hybridization of an ant-based clustering algorithm with growing neural gas networks for classification tasks. 9-13 - Kengo Katayama, Takahiro Koshiishi, Hiroyuki Narihisa:
Reinforcement learning agents with primary knowledge designed by analytic hierarchy process. 14-21 - Shawn Martin, Alex Bäcker:
Estimating manifold dimension by inversion error. 22-26 - Jie Zhou, Giovanni Pasteris:
Data driven approach to designing minimum hamming distance polychotomizer. 27-31 - Huanjing Wang, Allen S. Parrish, Randy K. Smith, Susan V. Vrbsky:
Variable selection and ranking for analyzing automobile traffic accident data. 32-37 - Gaurav Pandey, Himanshu Gupta, Pabitra Mitra:
Stochastic scheduling of active support vector learning algorithms. 38-42
AI and Computational Logic and Image Analysis (AI): Poster Papers
- Dongyong Yang, Jungan Chen:
The T-detectors maturation algorithm based on match range model. 43-44 - Dongseob Jang, Sung Y. Shin, Charlie Y. Shim, C. C. Hung:
A comparison on information fusion methods for air target identification. 45-46
Agents, Interactions, Mobility, and Systems (AIMS)
- Huy Hoang To, Shonali Krishnaswamy, Bala Srinivasan:
Mobile agents for network management: when and when not! 47-53 - Sahin Albayrak, Stefan Wollny, Nicolas Varone, Andreas Lommatzsch, Dragan Milosevic:
Agent technology for personalized information filtering: the PIA-system. 54-59 - Avelino F. Zorzo, Felipe Rech Meneguzzi:
An agent model for fault-tolerant systems. 60-65 - Volker Roth, Ulrich Pinsdorf, Jan Peters:
A distributed content-based search engine based on mobile code. 66-73 - David Hurt, Paul Tarau:
An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. 74-78 - Hoong Chuin Lau, Hui Wang:
A multi-agent approach for solving optimization problems involving expensive resources. 79-83 - Linli He, Thomas R. Ioerger:
Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids. 84-91
Agents, Interactions, Mobility, and Systems (AIMS): Poster Paper
- Mosaab Daoud, Qusay H. Mahmoud:
Reliability analysis of mobile agent-based systems. 92-93 - Ludmil Mikhailov, Petco E. Tsvetinov:
Fuzzy approach to outsourcing of information technology services. 94-98
Bioinformatics (BIO)
- Mathew J. Palakal, Sven Rahmann, Birong Liao:
Editorial message: special track on bioinformatics. 99 - Hsiao Ping Lee, Tzu Fang Sheu, Yin-Te Tsai:
Efficient discovery of unique signatures on whole-genome EST databases. 100-104 - Shannon Hastings, Stephen Langella, Scott Oster, Tahsin M. Kurç, Tony Pan, Ümit V. Çatalyürek, Daniel Janies, Joel H. Saltz:
Grid-based management of biomedical data using an XML-based distributed data management system. 105-109 - Jake Yue Chen, John V. Carlis, Ning Gao:
A complex biological database querying method. 110-114 - Eric A. Wernert, Jagannathan Lakshmipathy:
PViN: a scalable and flexible system for visualizing pedigree databases. 115-122 - Imad Rahal, Dongmei Ren, Amal Perera, Hassan Najadat, William Perrizo, Riad Rahhal, Willy Valdivia Granda:
Incremental interactive mining of constrained association rules from biological annotation data with nominal features. 123-127 - Andrei Oliveira da Silva, Osmar Norberto de Souza:
A framework for result handling in bioinformatics: an application to computer assisted drug design. 128-132 - James R. Faeder, Michael L. Blinov, William S. Hlavacek:
Graphical rule-based representation of signal-transduction networks. 133-140 - Niranjan Jayadevaprakash, Snehasis Mukhopadhyay, Mathew J. Palakal:
Generating association graphs of non-cooccurring text objects using transitive methods. 141-145 - Yao-Ting Huang, Kun-Mao Chao, Ting Chen:
An approximation algorithm for haplotype inference by maximum parsimony. 146-150 - Sebastian Böcker, Zsuzsanna Lipták:
Efficient mass decomposition. 151-157 - Joc Cing Tay, Atul Jhavar:
CAFISS: a complex adaptive framework for immune system simulation. 158-164 - Jacqueline Signorini, Patrick Greussay:
Object-oriented wound healing in the liver: a class-structured view of fibrogenesis and a glimpse of its evolution. 165-171 - Min Hu, Qunsheng Peng:
Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures. 172-176 - Rong Chen, Hesham H. Ali:
A new approach for gene prediction using comparative sequence analysis. 177-184 - Paul Davidsson, Johan Hagelbäck, Kenny Svensson:
Comparing approaches to predict transmembrane domains in protein sequences. 185-189 - Mehmet M. Dalkilic, Arijit Sengupta:
Design and evaluation of CATPA: curation and alignment tool for protein analysis. 190-194 - Conrad Plake, Jörg Hakenberg, Ulf Leser:
Optimizing syntax patterns for discovering protein-protein interactions. 195-201
Bioinformatics (BIO): Poster Papers
- Shu Ju Hsieh, Yun Sheng Chung, Chun-Yuan Lin, Chuan Yi Tang:
EXONSCAN: EXON prediction with Signal detection and Coding region AligNment in homologous sequences. 202-203 - Baoying Wang, William Perrizo:
Tree-based clustering for gene expression data. 204-205 - Raymond Wan, Hiroshi Mamitsuka, Kiyoko F. Aoki:
Cleaning microarray expression data using Markov random fields based on profile similarity. 206-207 - Zubin Balsara, Steve Roach:
Prediction of inherited and genetic mutations using the software model checker SPIN. 208-209 - Pankaj Kankar, Sougata Mukherjea:
Text-based summarization and visualization of gene clusters. 210-211 - Chandan K. Reddy, Hsiao-Dong Chiang:
Finding saddle points using stability boundaries. 212-213
Computer Applications in Health Care (CAHC)
- Valentin Masero:
Health care information systems. 214-215 - Eduardo B. Fernández, Tami Sorgente:
An analysis of modeling flaws in HL7 and JAHIS. 216-223 - David J. Power, Mark Slaymaker, Eugenia A. Politou, Andrew C. Simpson:
Protecting sensitive patient data via query modification. 224-230 - Claire Bourgeois-République, Grégory Valigiani, Pierre Collet:
An interactive evolutionary algorithm for cochlear implant fitting: first results. 231-235 - Stefan Jablonski, Rainer Lay, Christian Meiler, Sascha Müller, Wolfgang Hümmer:
Data logistics as a means of integration in healthcare applications. 236-241 - Xiaodong Wu, John Abraham:
The intensity level reduction in radiation therapy. 242-246 - Francisco J. Guerrero, Valentin Masero, Juan M. León-Rojas, José Moreno:
Multilure active contours. 247-254 - Michela Antonelli, Beatrice Lazzerini, Francesco Marcelloni:
Segmentation and reconstruction of the lung volume in CT images. 255-259 - Heng Huang, Li Shen, Fillia Makedon, Sheng Zhang, Mark Greenberg, Ling Gao, Justin D. Pearlman:
A clustering-based approach for prediction of cardiac resynchronization therapy. 260-266 - Kaja M. Abbas, Armin R. Mikler, Robert Gatti:
Temporal analysis of infectious diseases: influenza. 267-271 - Roozbeh Jafari, Foad Dabiri, Philip Brisk, Majid Sarrafzadeh:
Adaptive and fault tolerant medical vest for life-critical medical monitoring. 272-279
Computer-Aided Law and Advanced Technologies (CLAT)
- Giovanni Sartor, Jeremy V. Pitt, Alessandra Villecco:
Computer-aided law and advanced technologies. 280-281 - Mindaugas Kiskis, Rimantas Petrauskas:
Compensating creativity in the digital world: reconciling technology and culture. 282-286 - Slim Rekhis, Noureddine Boudriga:
A formal logic-based language and an automated verification tool for computer forensic investigation. 287-291 - Ben Hachey, Claire Grover:
Sequence modelling for sentence classification in a legal summarisation system. 292-296 - Alessandra Villecco Bettelli:
The employment of XML standards in electronic judicial proceedings. 297-301
Computer-Aided Law and Advanced Technologies (CLAT): Poster Paper
- Wei Ren, Hai Jin:
Honeynet based distributed adaptive network forensics and active real time investigation. 302-303
Computer Security (SEC)
- Giampaolo Bella, Peter Y. A. Ryan:
Special track on computer security. 304-305 - Himanshu Khurana, Adam J. Slagell, Rafael Bonilla:
SELS: a secure e-mail list service. 306-313 - Ginger Myles, Christian S. Collberg:
K-gram based software birthmarks. 314-318 - Dev Anshul, Suman Roy:
A ZKP-based identification scheme for base nodes in wireless sensor networks. 319-323 - Maurizio Adriano Strangio:
Efficient Diffie-Hellmann two-party key agreement protocols based on elliptic curves. 324-331 - Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems. 332-339 - Victoria Ungureanu:
Efficient support for enterprise delegation policies. 340-345 - Prem Uppuluri, Uday Joshi, Arnab Ray:
Preventing race condition attacks on file-systems. 346-353 - Li Yang, Raimund K. Ege, Huiqun Yu:
Mediation security specification and enforcement for heterogeneous databases. 354-358 - Xinwen Zhang, Yingjiu Li, Divya Nalla:
An attribute-based access matrix model. 359-363
Constraint Solving and Programming (CSP)
- Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Editorial: special track on constraint solving and programming. 364-365 - Farid Ajili, Robert Rodosek, Andrew Eremin:
A branch-price-and-propagate approach for optimizing IGP weight setting subject to unique shortest paths. 366-370 - Yat Chiu Law, Jimmy Ho-Man Lee:
Breaking value symmetries in matrix models using channeling constraints. 371-376 - Frédéric Goualard, Laurent Granvilliers:
Controlled propagation in continuous numerical constraint networks. 377-382 - Wided Ouaja, Barry Richards:
Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition. 383-387 - Roman Barták, Hana Rudová:
Limited assignments: a new cutoff strategy for incomplete depth-first search. 388-392 - Stefan S. Dantchev, Frank D. Valencia:
On the computational limits of infinite satisfaction. 393-397 - Tony Lambert, Éric Monfroy, Frédéric Saubion:
Solving strategies using a hybridization model for local search and constraint propagation. 398-403 - Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder:
Timid acquisition of constraint satisfaction problems. 404-408
Constraint Solving and Programming (CSP): Poster Papers
- Songshan Guo, Weixing Li, Andrew Lim, Fan Wang:
The shortest route cut and fill problem in linear topological structure. 409-410
Coordination Models, Languages and Applications (CM)
- Sascha Ossowski, Ronaldo Menezes:
Special track on coordination models, languages and applications. 411-412 - Gian Pietro Picco, Davide Balzarotti, Paolo Costa:
LighTS: a lightweight, customizable tuple space supporting context-aware applications. 413-419 - Alessandro Ricci, Mirko Viroli:
A timed extension of ReSpecT. 420-427 - Rocco De Nicola, Diego Latella, Mieke Massink:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. 428-435 - Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
MoCha-pi, an exogenous coordination calculus based on mobile channels. 436-442 - Giancarlo Fortino, Wilma Russo:
Multi-coordination of mobile agents: a model and a component-based architecture. 443-450 - Juan Manuel Serrano, Sascha Ossowski:
A semantic framework for the recursive specification of interaction protocols. 451-456 - Amine Tafat, Michèle Courant, Béat Hirsbrunner:
Implicit environment-based coordination in pervasive computing. 457-461 - María-Victoria Belmonte, José-Luis Pérez-de-la-Cruz, Francisco Triguero Ruiz, Alberto Fernández:
Agent coordination for bus fleet management. 462-466
Coordination Models, Languages and Applications (CM): Poster Paper
- Ronaldo Menezes:
Self-organization and computer security: a case study in adaptive coordination. 467-468
Data Mining (DM)
- Sang-Wook Kim, Byeong-Soo Jeong:
Performance bottleneck in time-series subsequence matching. 469-473 - Miriam Baglioni, Barbara Furletti, Franco Turini:
DrC4.5: Improving C4.5 by means of prior knowledge. 474-481 - Malik Agyemang, Ken Barker, Reda Alhajj:
Mining web content outliers using structure oriented weighting techniques and N-grams. 482-487 - Mingjun Song, Sanguthevar Rajasekaran:
Finding frequent itemsets by transaction mapping. 488-492 - Vandana Pursnani Janeja, Vijayalakshmi Atluri:
LS3: a Linear Semantic Scan Statistic technique for detecting anomalous windows. 493-497 - Todd Ebert, Darin Goldstein:
A "Go With the Winners" approach to finding frequent patterns. 498-502 - Giuseppe Carenini, Raymond T. Ng, Xiaodong Zhou, Ed Zwart:
Discovery and regeneration of hidden emails. 503-510 - Tina Eliassi-Rad, Terence Critchlow:
A hybrid approach for multiresolution modeling of large-scale scientific data. 511-518 - Gyesung Lee, Xindong Wu, Jinho Chon:
Rearranging data objects for efficient and stable clustering. 519-523 - Yu Qian, Kang Zhang, Fang Qiu:
Spatial contextual noise removal for post classification smoothing of remotely sensed images. 524-528 - Claudio Silvestri, Salvatore Orlando:
Distributed approximate mining of frequent patterns. 529-536 - Fabrizio Angiulli, Stefano Basta, Clara Pizzuti:
Detection and prediction of distance-based outliers. 537-542
Data Mining (DM): Poster Papers
- Yasuhiko Morimoto:
Optimized transitive association rule: mining significant stopover between events. 543-544 - Carlos Ordonez:
A model for association rules based on clustering. 545-546 - Mehmet M. Dalkilic, Arijit Sengupta:
Circle: design and implementation of a classifier based on circuit minimization. 547-548 - Xiaowei Xu, Mutlu Mete, Nurcan Yuruk:
Mining concept associations for knowledge discovery in large textual databases. 549-550 - Rajesh Natarajan, B. Shekar:
A relatedness-based data-driven approach to determination of interestingness of association rules. 551-552
Data Streams (DS)
- Jesús S. Aguilar-Ruiz, S. Muthukrishnan:
Editorial message: special track on data streams. 553-554 - Henrike Berthold, Sven Schmidt, Wolfgang Lehner, Claude-Joachim Hamann:
Integrated resource management for data stream systems. 555-562 - Like Gao, Min Wang, Xiaoyang Sean Wang:
Quality-driven evaluation of trigger conditions on streaming time series. 563-567 - Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos:
Incremental rule learning based on example nearness from numerical data streams. 568-572 - João Gama, Pedro Medas, Pedro Pereira Rodrigues:
Learning decision trees from dynamic data streams. 573-577
Data Streams (DS): Poster Paper
- Christoph Heinz, Bernhard Seeger:
Wavelet density estimators over data streams. 578-579
Database Theory, Technology and Applications (DTTA)
- Ramzi A. Haraty, Apostolos N. Papadopoulos, Junping Sun:
Editorial message: special track on database theory, technology, and applications. 580 - Man-Soon Kim, Sang-Wook Kim, Miyoung Shin:
Optimization of subsequence matching under time warping in time-series databases. 581-586 - Alejandro Pauly, Markus Schneider:
Identifying topological predicates for vague spatial objects. 587-591 - Lavinia Egidi, Paolo Terenziani:
A flexible approach to user-defined symbolic granularities in temporal databases. 592-597 - Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà, Cristina Sirangelo:
Hierarchical binary histograms for summarizing multi-dimensional data. 598-603 - Caetano Traina Jr., Josiel Maimoni de Figueiredo, Agma J. M. Traina:
Image domain formalization for content-based image retrieval. 604-609 - Dan C. Stefanescu, Alex Thomo, Lida Thomo:
Distributed evaluation of generalized path queries. 610-616 - Renato Bueno, Agma J. M. Traina, Caetano Traina Jr.:
Accelerating approximate similarity queries using genetic algorithms. 617-622 - Andreas Behrend:
Optimizing existential queries in stratifiable deductive databases. 623-628 - Igor Wojnicki, Antoni Ligeza:
Jelly view: a technology for arbitrarily advanced queries within RDBMS. 629-633 - Zhenyu Liu, Ka Cheung Sia, Junghoo Cho:
Cost-efficient processing of MIN/MAX queries over distributed sensors with uncertainty. 634-641 - Luciano Baresi, Elisa Quintarelli:
Graph transformation to infer schemata from XML documents. 642-646